pamacでシステムを更新しようとしたらconflict files: clingo: /usr/bin/gringo already exists in filesystem.
仕事が忙しくてリナタブを起動してもpamacの更新通知を無視していたが
85個以上になったので、更新しようとしたらタイトルの通りのファイル競合
のエラーが。
clingo と gringoってなんやねーんと思って少しばかり調べてみたがclasp
関係のパッケージらしいよということくらいしか情報がなかったけど、
これを取り除かないとシステムアップグレードできませーん。
ということなので、おとなしく実行した(ΦωΦ)
でも調べてみたら面白そうなのであとで詳しく。
[手順]
1. home以下にbackupディレクトリを作成。
% mkdir backup
2 1に /usr/bin/gringoをルート権限でコピー。
% cd backup
% sudo cp /usr/bin/gringo ./
3. 2を削除。
% sudo rm -f /usr/bin/gringo
4. pamacを再実行。
5. 最後の方で、/usr/share/doc/nfs-utils以下のアクセス権が644だけど
パッケージは755を要求しとるぞってことで、変更。
% sudo chmod -R 755 /usr/share/doc/nfs-utils
6. pacmanで入れたパッケージの更新ができればok。
[参考サイト]
Ubuntu Manpage: clingo - a combination of clasp and gringo
Ubuntu Manpage: gringo - a grounder for non-ground logic programs
Ubuntu Manpage: clasp - a conflict-driven nogood learning answer set solver
Potassco - the Potsdam Answer Set Solving Collection
My Constraint Programming Blog: A first look at Answer Set Programming