[ in English ]
文書 , ダウンロード , 仕様 , ライセンス , cvsweb, 表紙 ,

OpenXM HEAD

OpenXM-HEAD ブランチへようこそ

ソースのダウンロード

  1. HEAD branch is available from our web site: [Source (Shift+Click)].
  2. A snapshot of the head branch can be obtainable from here . こちらは毎日更新されてます.

Debian package for amd64

  1. 以下を書いたファイル fe-deb2.list を /etc/apt/sources.list.d へ加える.
    deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ unstable/
    deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
    
  2. gpg public key をダウンロード. keys は http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg にあり. このファイルを /usr/share/keyrings へコピー.
    sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings
    
  3.     sudo apt update
        sudo apt install openxm
    
以上をまとめてコマンドで行うには
sudo apt update
sudo apt install wget
sudo wget -O /etc/apt/sources.list.d/fe-deb2.list http://www.math.kobe-u.ac.jp/deb2/fe-deb2.list
sudo wget -O /usr/share/keyrings/fe-deb2-archive-keyring.gpg  http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg
sudo apt update
sudo apt install openxm
参考: apt install openxm で asir license にあらかじめ同意して y/n を避けるには
touch /tmp/i-agree-with-asir-license 
sudo apt install openxm
rm  /tmp/i-agree-with-asir-license 

ERRATA.

FAQ

Questions and Answers (in Enshlish) FAQ.
質問と答え FAQ.

Links

  1. Risa/Asir 神戸版のダウンロードのページ [ Windows 用バイナリのダウンロード その他].
takayama@math.sci.kobe-u.ac.jp