Skip to content

Instantly share code, notes, and snippets.

@rplantiko
Last active December 11, 2017 11:13
Show Gist options
  • Save rplantiko/af728eda9d702f65d37149cf17464d04 to your computer and use it in GitHub Desktop.
Save rplantiko/af728eda9d702f65d37149cf17464d04 to your computer and use it in GitHub Desktop.
Delete Mozilla Firefox' .parentlock
#!/bin/bash
HOME=/data/nethome
USER=$1
if [ $# -ne 1 ]; then echo "=========================================================
Löschen der Firefox-Sperrdatei .parentlock für einen User
=========================================================
Verwendung:
dpl <user>
Dabei steht <user> für den Usernamen, dessen Firefox-Sperrdatei zu löschen ist.
"
exit -1
fi
if [ ! -d "$HOME/$USER" ]; then echo "Verzeichnis $HOME/$USER existiert nicht.
Ist der Benutzername $USER korrekt getippt?"
exit -1
fi
if [ ! -d "$HOME/$USER/.mozilla" ]; then echo "Verzeichnis $HOME/$USER/.mozilla existiert nicht.
Dieser Benutzer scheint keine Firefox-Installation zu haben."
exit -1
fi
if [ ! -d "$HOME/$USER/.mozilla/firefox" ]; then echo "Verzeichnis $HOME/$USER/.mozilla/firefox existiert nicht.
Dieser Benutzer scheint keine Firefox-Installation zu haben."
exit -1
fi
DEFAULT=$(ls $HOME/$USER/.mozilla/firefox | grep default$)
if [[ -z $DEFAULT ]]; then
echo "Es wurde kein Firefox-Defaultprofil gefunden"
exit -1
fi
if [[ ! -f $HOME/$USER/.mozilla/firefox/$DEFAULT/.parentlock ]]; then
echo "Dieser Benutzer hat keine .parentlock-Datei,
das Problem sollte bei ihm nicht auftreten"
exit -1
fi
CMD_OUTPUT=$(rm $HOME/$USER/.mozilla/firefox/$DEFAULT/.parentlock 2>&1)
if [[ $? -eq 0 ]]; then
echo ".parentlock-Datei wurde erfolgreich gelöscht für Benutzer $USER"
exit 0
else
echo "Die Löschung konnte nicht ausgeführt werden
(Berechtigungsproblem? Als Super-User angemeldet?)
Antwort des Kommandos ist: '$CMD_OUTPUT'"
exit -1
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment