Vous avez souvent besoin de retirer les verrous ( « locks » ) des logiciels de la suite Mozilla.

À cet effet et pour vous éviter des commandes compliquées, j’ai créé et déployé les scripts suivants (à taper dans un terminal) :

• 1^er cas, le plus fréquent : votre poste s’est arrêté brusquement, et les logiciels ne se sont pas arrêté gentiment :

    retire-lock-mozilla                # pour Mozilla/Seamonkey ou Firefox
    retire-lock-thunderbird            # pour Thunderbird
  

• 2^e cas : le logiciel tourne encore, mais vous ne savez pas trop où :

    tuemozilla
    tuethunderbird
  

  tueront gentiment le processus correspondant, s’il tourne sur votre poste de travail, et vous indiqueront sur quelle machine tourne le logiciel sinon. (Il faudra alors se loger sur cette machine pour tuer le processus.)

Pour toute autre action, s’adresser à l’ingénieur de permanence.