diff options
| author | Pierre Labastie <pierre.labastie@neuf.fr> | 2022-10-02 09:52:59 +0200 |
|---|---|---|
| committer | Pierre Labastie <pierre.labastie@neuf.fr> | 2022-10-02 09:52:59 +0200 |
| commit | 8e0c191b9b6d35274b363b478a479c7dd4ed32e4 (patch) | |
| tree | ae8e1017819a8b2a509c387b7e118f435e564146 /process-scripts.sh | |
| parent | b3daf0157845b5a86e2b6aec8a859a0d75010a3c (diff) | |
umount /dev/shm before rebooting
Now that /dev/shm is always a mountpoint, it needs to be umounted
otherwise dev cannot be umounted.
Diffstat (limited to 'process-scripts.sh')
0 files changed, 0 insertions, 0 deletions