diff options
author | Andreas Kling <awesomekling@gmail.com> | 2019-02-10 11:18:12 +0100 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-02-10 11:18:12 +0100 |
commit | 5e8d6b1bf407ab011c4201289a9ea08b253bab60 (patch) | |
tree | 87a6305d498b00e7618d48366cdf8c291bf50ff1 /Kernel/sync.sh | |
parent | 2def3d8d3ff3c913919cd64b2bf75b77ee57d1cf (diff) | |
download | serenity-5e8d6b1bf407ab011c4201289a9ea08b253bab60.zip |
Base: Rename /users to /home.
I didn't like seeing /users next to /usr. /home looks nicer.
Diffstat (limited to 'Kernel/sync.sh')
-rwxr-xr-x | Kernel/sync.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Kernel/sync.sh b/Kernel/sync.sh index 9818dbc984..25a8acccb2 100755 --- a/Kernel/sync.sh +++ b/Kernel/sync.sh @@ -1,3 +1,7 @@ +if [ $(id -u) != 0 ]; then + echo "This needs to be run as root" + exit +fi rm -vf _fs_contents.lock rm -vf _fs_contents dd if=/dev/zero of=_fs_contents bs=1M count=12 @@ -24,7 +28,7 @@ ln -s /proc/self/fd/0 mnt/dev/stdin ln -s /proc/self/fd/1 mnt/dev/stdout ln -s /proc/self/fd/2 mnt/dev/stderr cp -vR ../Base/* mnt/ -chown -vR 100:100 mnt/users/anon +chown -vR 100:100 mnt/home/anon cp -v ../Userland/sh mnt/bin/sh cp -v ../Userland/id mnt/bin/id cp -v ../Userland/ps mnt/bin/ps |