diff options
| author | P. J. McDermott <pjm@nac.net> | 2014-03-14 00:12:56 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2014-03-14 00:12:56 (EDT) |
| commit | ed1e37fe38169696489316e888736559f39ee500 (patch) | |
| tree | 8d4bab65b558a6ea98d860393c9bf3014033c1ca /src.etc/init.d/mountdevsubfs | |
| parent | 03fa1b027e4d92df4be3b5d1cca5bae38ba19707 (diff) | |
/etc/init.d/mountdevsubfs: rm /dev/shm.
This shouldn't be necessary, but let's be paranoid with untested things.
Diffstat (limited to 'src.etc/init.d/mountdevsubfs')
| -rwxr-xr-x | src.etc/init.d/mountdevsubfs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src.etc/init.d/mountdevsubfs b/src.etc/init.d/mountdevsubfs index 5f44355..5ef7235 100755 --- a/src.etc/init.d/mountdevsubfs +++ b/src.etc/init.d/mountdevsubfs @@ -22,6 +22,8 @@ stop() umount /dev/pts fi + rm -f /dev/shm + printf 'done.\n' } |