• Japanese

MENU

共通認証システム 矢上キャンパス 慶應義塾公式ウェブサイト 慶應義塾の電力使用状況

Firefoxを起動しようとすると「既に起動しています」と言われてFirefoxが起動できない。

[Q.]

Firefoxを起動しようとすると「既に起動しています」と言われてFirefoxが起動できない。

[A.]

前回利用した際にFirefoxが正常終了していない場合、生成されたロックファイルが残ってしまい、「既に起動しています」というエラーが表示されます。 Firefoxが終了処理を行ってる途中の場合がありますので、 Firefoxが起動していないか確認した上、Step.1の手順でロックファイルを消すようにして下さい。
多くの場合はStep.1のみでFirefoxを起動できるようになりますが、稀に個人設定のディレクトリ内にあるファイルも壊れており、「メニューバーが表示されない」や「起動は できるがWebページを閲覧できない」などの症状が発生することがあります。 この場合はStep.2をお試しください。(ただし、Step.2を実行した場合はブックマークなどを含むすべての個人設定が消去されますのでご注意ください)

[Step.1]

Firefoxが起動しているか確認する方法
下記のコマンドを実行した結果が1行のみならば、Firefoxは起動していません。
% ps aux | grep firefox
[ITCアカウント名]    users  0.0  0.0  0000  000 pts/1  grep firefox
Firefoxが起動している場合、複数行の結果が帰ってきます。
% ps aux | grep firefox
[ITCアカウント名]    users  0.0  0.0  0000 0000 pts/1 /bin/sh /usr/local/bin/firefox
[ITCアカウント名]    users  0.0  0.0  0000 0000 pts/1 /usr/keio/firefox-102.5.0esr/usr/local/firefox/firefox -P Default User
[ITCアカウント名]    users  0.0  0.0  0000 0000 pts/1 /educ/usr.keio/keio/firefox-102.5.0esr/usr/local/firefox/firefox-bin -contentproc -parentBuildID 20221107191025 -prefsLen 30851 -prefMapSize 218133 -appDir /educ/usr.keio/keio/firefox-102.5.0esr/usr/local/firefox/browser 18584 true socket
[ITCアカウント名]    users  0.0  0.9  0000 0000 pts/1 /educ/usr.keio/keio/firefox-102.5.0esr/usr/local/firefox/firefox-bin -contentproc -childID 1 -isForBrowser -prefsLen 30927 -prefMapSize 218133 -jsInitLen 277276 -parentBuildID 20221107191025 -appDir /educ/usr.keio/keio/firefox-102.5.0esr/usr/local
firefox/browser 18584 true tab
...
中略
...
[ITCアカウント名]    users  0.0  0.0  0000 0000 pts/1 grep firefox
ロックファイルを消す方法
  • Firefoxのユーザ向け設定ディレクトリに移動する
    % cd ~/.mozilla/firefox/
    
  • 最近更新されたプロファイルディレクトリを特定する
    % ls -ltrd *| tail -1
    drwx------ 13 [ITCアカウント名] users 1510  1月 13 13:03 プロファイルディレクトリ名(※)
    
  • 上で取得したプロファイルディレクトリに移動する
    % cd プロファイルディレクトリ名
    
  • ロックファイルを削除する
    % rm -f .parentlock
    

※プロファイルディレクトリ名はいくつかの命名規則があり、例えば次のような文字列が入ると考えられます。 また「????????」にはランダムの文字列が入ります。

  • ????????.Default User
  • ????????.default (旧来から使用してるユーザの場合)
  • ????????.foobar (foobarはユーザ自身がProfileMangerで指定した値)

[Step.2]

下記の手順に従って個人ディレクトリを別の名前に変更し、設定を初期化します。

※この手順を実行した場合はブックマークなどを含むすべての個人設定が消去されますのでご注意ください

% cd ~
% mv .mozilla .mozilla.old

最終更新日: 2023年1月19日

内容はここまでです。