diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-10T09·12+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-10T09·12+0000 |
| commit | 089b43617501b19b94523b2211877841ed09e70e (patch) | |
| tree | 2f668b28ee364a16bdbbe6172be50ebab50d33de /sys/start | |
| parent | b96239c65703afba195a952d9f21b9588c136ac7 (diff) | |
* Deleted the sys directory.
Diffstat (limited to 'sys/start')
| -rwxr-xr-x | sys/start | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/sys/start b/sys/start deleted file mode 100755 index b36cde297436..000000000000 --- a/sys/start +++ /dev/null @@ -1,38 +0,0 @@ -#! /pkg/prog-bootstrap/bin/sh - -# This directory contains nix. -export PATH=/pkg/sys/bin - -# Add in the utilities needed for booting. -export PATH=$PATH:`nix getpkg 5703121fe19cbeeaee7edd659cf4a25b`/bin - -echo -echo Starting up... - -echo Mounting file systems... -mount -n -o remount,rw /dev/root / -mount -n -t proc none /proc -mount -n -t hostfs none /mnt/host - -echo Registering available sources... -( if cd /src; then - for i in *; do - nix reg $i - done - fi -) - -export PATH=`nix getpkg coreutils-4.5.7`/bin:$PATH - -echo -echo "=== starting interactive shell ===" - -sh - -echo -echo Shutting down... - -umount /proc -#sync -mount -n -o remount,ro /dev/root / -#sync |