haiju's 開発メモ

開発に必要な情報を自分用にメモ

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。

[参考サイト]

potassco.org

potassco.org

github.com

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

github.com

stackoverflow.com

My Constraint Programming Blog: A first look at Answer Set Programming