===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-ja.html,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -p -r1.15 -r1.16
--- OpenXM/doc/OpenXM-web/index-ja.html 2022/03/28 10:33:48 1.15
+++ OpenXM/doc/OpenXM-web/index-ja.html 2022/03/28 23:50:00 1.16
@@ -1,7 +1,7 @@
@@ -64,12 +64,20 @@ sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyring
以上をまとめてコマンドで行うには
+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
+