update

2026-05-18 17:11:40 +02:00
parent c67a7eaf98
commit b58d4aee9b
8 changed files with 18 additions and 0 deletions
--- a/1
+++ b/1
@@ -1,4 +1,5 @@
 #!/bin/bash
+mount | awk '$3 ~ /\/doc$/ {print $3}' | xargs -r sudo umount
 killall -9 firefox code gnome-terminal-server 2>/dev/null
 while pgrep -x code > /dev/null; do sleep 0.1; done
 while pgrep -x gnome-terminal-server > /dev/null; do sleep 0.1; done