Bash: Feststellen, ob eine Datei geöffnet ist