Skip to content

Commit

Permalink
Merge pull request #213 from diegoferigo/fix/dot-folder
Browse files Browse the repository at this point in the history
Create dot folder in user's home if missing
  • Loading branch information
diegoferigo authored Jun 16, 2020
2 parents 6479540 + c6a137a commit ea59cb9
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions python/gym_ignition/utils/setup_environment.py
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@

import os
import gym.logger
from pathlib import Path
from gym_ignition.utils import logger


Expand All @@ -13,6 +14,11 @@ def setup_environment() -> None:
(User or Developer).
"""

# Make sure that the dot folder in the user's home exists
Path("~/.ignition/gazebo").expanduser().mkdir(mode=0o755,
parents=True,
exist_ok=True)

# Configure the environment
ign_gazebo_system_plugin_path = ""

Expand Down

0 comments on commit ea59cb9

Please sign in to comment.