Opam总是被锁定文件锁定

我遇到了opam和锁定文件的问题.

chris@chris:~$ opam upgrade
Another process (19525) has already locked "/home/chris/.opam/4.00.1/lock". Retrying in 1s (0/5)
Another process (19525) has already locked "/home/chris/.opam/4.00.1/lock". Retrying in 1s (1/5)
Another process (19525) has already locked "/home/chris/.opam/4.00.1/lock". Retrying in 1s (2/5)
Another process (19525) has already locked "/home/chris/.opam/4.00.1/lock". Retrying in 1s (3/5)
Another process (19525) has already locked "/home/chris/.opam/4.00.1/lock". Retrying in 1s (4/5)
'opam upgrade' failed.
# opam-version    1.1.0
# os              linux
Too many attempts. Cancelling.

我不太确定问题是什么.我对整个系统缺乏经验.我不认为它与aspcud有任何关系,因为我没有安装它.我正在使用的机器正在运行Ubuntu 13.谢谢大家.

编辑:

我试图重新启动,这是当我尝试杀死进程时发生的事情

chris@chris:~/dev$ kill 19525
bash: kill: (19525) - No such process

camlspotter.. 5

似乎一个opam进程制作了一个锁文件然后意外死亡,不知何故离开了锁文件/home/chris/.opam/4.00.1/lock.

如果您确定没有正在运行的opam进程,只需删除锁定文件即可.特别是你重新启动了机器,因此删除文件是完全安全的.