網站在此:http://directhex.mfgames.com/
做法:
把directhex的badgerports加到sources.list。
先把原來的sources.list備份:
$ sudo cp /etc/apt/sources.list /etc/apt/sources.list.bak-`date +%d%m%y`
把directhex的badgerports加到sources.list:
$ echo "deb http://directhex.mfgames.com/ hardy main" | sudo tee -a /etc/apt/sources.list
由於badgerports不是官方認可的repository,所以需手動把GPG key加上。
先在這把8.04 badgerports的GPG key複製:在此
把key在文字編輯器內貼上,並儲存在自己的home,例如:/home/antony/directhex-gpg-key.txt。
然後用apt-key把key加上(用自己儲存key的路徑):
$ sudo apt-key add /home/antony/directhex-gpg-key.txt
更新repository的package list並安裝mono。
$ sudo apt-get update
$ sudo apt-get install mono
完成。
沒有留言:
發佈留言