Per
trovare l'esatta collocazione di questi file si possono utilizzare i
comandi seguenti, che devono essere eseguiti a partire dalla vostra
home directory :
- find . -name lock -print
- find .
-name .parentlock
-print
Quindi i file vanno eliminati con rm
.
Fate attenzione che il file lock
sia in effetti quello presente in una
subdirectory di .mozilla, perche' a volte altri programmi creano file
con questo nome.