diff options
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/hurd.postinst | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 8624bce7..a7626c49 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,7 @@ hurd (20080607-6) UNRELEASED; urgency=low to have them handled by update-alternatives. * debian/hurd.postinst: Run update-alternatives for ps, uptime, vmstat and w. + * debian/hurd.postinst: Setup /proc if it hasn't been already. -- Michael Banck <mbanck@debian.org> Wed, 03 Sep 2008 17:47:22 +0200 diff --git a/debian/hurd.postinst b/debian/hurd.postinst index dce5b99a..cdd9458a 100644 --- a/debian/hurd.postinst +++ b/debian/hurd.postinst @@ -41,3 +41,8 @@ if [ ! -e /dev/shm ]; then mkdir /dev/shm chmod 1777 /dev/shm fi + +if [ ! -e /proc ]; then + mkdir /proc + settrans -afgp /proc /hurd/procfs +fi |