Searched refs:shell_file (Results 1 – 3 of 3) sorted by relevance
| /external/chromium-trace/catapult/devil/devil/android/ |
| D | install_commands.py | 49 shell_file = '%s/%s' % (BIN_DIR, command)
50 device.WriteFile(shell_file, shell_command)
51 device.RunShellCommand(['chmod', '755', shell_file], check_return=True)
|
| /external/pigweed/ |
| D | bootstrap.bat | 98 set "shell_file=%_PW_ACTUAL_ENVIRONMENT_ROOT%\activate.bat"
112 --shell-file "%shell_file%" ^
119 if exist "%shell_file%" (
127 call "%shell_file%"
|
| /external/pigweed/pw_env_setup/py/pw_env_setup/ |
| D | env_setup.py | 179 def __init__(self, pw_root, cipd_cache_dir, shell_file, quiet, install_dir, argument
190 self._shell_file = shell_file
197 if os.path.isfile(shell_file):
198 os.unlink(shell_file)
|