diff --git a/scripts/inner_source_chroot_update.sh b/scripts/inner_source_chroot_update.sh index 7bc1526..9c7b902 100755 --- a/scripts/inner_source_chroot_update.sh +++ b/scripts/inner_source_chroot_update.sh @@ -1,16 +1,5 @@ #!/bin/bash -# create /proc if it doesn't exist -# rsync doesn't copy it -if [ ! -d "/proc" ]; then - mkdir /proc - touch /proc/.keep -fi -if [ ! -d "/dev/pts" ]; then - mkdir /dev/pts - touch /dev/pts/.keep -fi - source /etc/profile env-update source /etc/profile