=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-ja.html,v retrieving revision 1.9 retrieving revision 1.16 diff -u -p -r1.9 -r1.16 --- OpenXM/doc/OpenXM-web/index-ja.html 2015/07/28 12:06:20 1.9 +++ OpenXM/doc/OpenXM-web/index-ja.html 2022/03/28 23:50:00 1.16 @@ -1,7 +1,7 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//JA"> <HTML> <!-- -$OpenXM: OpenXM/doc/OpenXM-web/index-ja.html,v 1.8 2015/07/28 06:41:25 takayama Exp $ +$OpenXM: OpenXM/doc/OpenXM-web/index-ja.html,v 1.15 2022/03/28 10:33:48 takayama Exp $ --> <HEAD> <LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp"> @@ -27,11 +27,12 @@ OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> ����屡仮ソースのダウンロード </H2> + <OL> <LI> HEAD branch is available from our web site: [<A HREF="http://www.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz">Source (Shift+Click)</A>]. <li> A snapshot of the head branch can be obtainable from -<a href="http://air.s.kanazawa-u.ac.jp/ohara/software.html"> here </a>. +<a href="http://air.s.kanazawa-u.ac.jp/~ohara/software.html"> here </a>. こちらは毎日更新されてます. </OL> @@ -40,7 +41,44 @@ OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> ��殊蘊�釈�蓿繙就蜴齡瘡讚裃��⊂�日本語のインストールガイド </a> </ul> +<h2 id="apt"> Debian package for amd64</h2> +<ol> +<li> 以下を書いたファイル fe-deb2.list を /etc/apt/sources.list.d へ加える. +<pre> +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/ +<pre> +<li> gpg public key をダウンロード. +keys は <a href="http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg"> + http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg </a> +にあり. このファイルを /usr/share/keyrings へコピー. +<pre> +sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings +</pre> +<li> +<pre> + sudo apt update + sudo apt install openxm +</pre> +</ol> +以上をまとめてコマンドで行うには +<pre> +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 +</pre> + +参考: apt install openxm で asir license にあらかじめ同意して y/n を避けるには +<pre> +touch /tmp/i-agree-with-asir-license +sudo apt install openxm +rm /tmp/i-agree-with-asir-license +</pre> + <H2> <A HREF="ERRATA.html">ERRATA</A>. </H2> @@ -48,7 +86,7 @@ OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> ��屡仮�徳�鹿伐��剳纉�闔�瘤�綜齬纈���梼鼈跚鼈�質�頒兎就�緕慷㌃叢㊤隨�槇焼叢鹿曽���実匸��質問と答え <A HREF="OpenXM-FAQ-ja.txt">FAQ</A>. +質問と答え <A HREF="OpenXM-FAQ-ja.txt.html">FAQ</A>. <H2>Links</H2>