From d8438826eb096240569124fabb494ff25f1623dc Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Mon, 5 Sep 2011 07:44:21 +0200 Subject: [PATCH] [scripts] inner_source_chroot_update: checking /proc and /dev/pts here is useless --- scripts/inner_source_chroot_update.sh | 11 ----------- 1 file changed, 11 deletions(-) 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