diff options
| author | Michael Banck <mbanck@debian.org> | 2008-09-04 22:16:26 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2008-09-04 22:16:26 +0000 |
| commit | a91a6b96d32b07c22db2958e8b2696f4fafb2f5d (patch) | |
| tree | 67410b022da88b4b532182a33d2f81518c18fc56 | |
| parent | 2e5f9f4b3d815f25adb594aa6df238e5ce483d12 (diff) | |
* debian/hurd.postinst: Setup /proc if it hasn't been already.
| -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 |