Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Formatting

...

...

There is a standing issue where two computers in the CS Lab (TedCodd and Ritchie) are not able to open a recent version of Google Chrome. The Chromium team is aware of the issue and the bug report is here: https://bugs.chromium.org/p/chromium/issues/detail?id=1493307

...

The files to delete are located within the user's profile directory  /home/$USER/.mozilla/firefox/*.default/ where * is a placeholder for Firefox's profile hash. The specific files to delete are lock and .parentlock. This one line command should remove those files:

rm /home/$USER/.mozilla/firefox/*.default*/lock


In your preferred file manager, you are able to navigate to the directory which holds the lock on Firefox in /home/$USER/.mozilla/firefox/*.default/  Since it is impossible to know what the user profile's hash is and if they are using a default profile versus a custom profile, it is recommended to go each folder that has default  or default-release appended.


  6365B160-AF37-4690-9811-56D1ED85109B_1_105_c.jpeg

6365B160-AF37-4690-9811-56D1ED85109B_1_105_c.jpeg