mirror of
https://github.com/servo/servo.git
synced 2025-08-10 07:55:33 +01:00
extend message about nixOS shell
This commit is contained in:
parent
8e48b6fd74
commit
49fc87f385
2 changed files with 7 additions and 2 deletions
1
mach
1
mach
|
@ -110,6 +110,7 @@ if __name__ == '__main__':
|
|||
import subprocess
|
||||
from shlex import quote
|
||||
mach_dir = os.path.abspath(os.path.dirname(__file__))
|
||||
print('NOTE: Entering nix-shell etc/shell.nix')
|
||||
try:
|
||||
# sys argv already contains the ./mach part, so we just need to pass it as-is
|
||||
subprocess.Popen(['nix-shell', mach_dir + '/etc/shell.nix', '--run', ' '.join(map(quote, sys.argv))]).wait()
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue