#!/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
while pgrep -x firefox > /dev/null; do sleep 0.1; done
