setup¶
After initial setup, configure autopilot: create an autopilot directory and a prefs.json file
Functions:
|
Make a directory if it doesn't exist and set its permissions to 0777 |
|
Make an alias so that calling |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- make_dir(adir: Path, permissions: int = 511)[source]¶
Make a directory if it doesn’t exist and set its permissions to 0777
- Parameters
adir (str) – Path to the directory
permissions (int) – an octal integer used to set directory permissions (default
0o777
)
- make_alias(launch_script: Path, bash_profile: Optional[str] = None) Tuple[bool, str] [source]¶
Make an alias so that calling
autopilot
callsautopilot_dir/launch_autopilot.sh
- Parameters
launch_script (str) – the path to the autopilot launch script to be aliased
bash_profile (str, None) – Optional, location of shell profile to edit. if None, use
.bashrc
then.bash_profile
if they exist
- make_launch_script(prefs: dict, prefs_fn=None, launch_file=None, permissions: int = 509) Path [source]¶