=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-ja.html,v retrieving revision 1.13 retrieving revision 1.16 diff -u -p -r1.13 -r1.16 --- OpenXM/doc/OpenXM-web/index-ja.html 2021/03/29 08:03:43 1.13 +++ OpenXM/doc/OpenXM-web/index-ja.html 2022/03/28 23:50:00 1.16 @@ -1,7 +1,7 @@
@@ -43,24 +43,41 @@ OpenXM-HEAD $B- deb http://www.math.kobe-u.ac.jp/deb2/ unstable/ - deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/ +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/-
- sudo apt-key add mathlibre.pub - sudo apt-key add debian-math.kobe-u.ac.jp.pub +sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings
- sudo apt-get update + 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 ++ +$B;29M(B: apt install openxm $B$G(B asir license $B$K$"$i$+$8$aF10U$7$F(B y/n $B$rHr$1$k$K$O(B +
+touch /tmp/i-agree-with-asir-license +sudo apt install openxm +rm /tmp/i-agree-with-asir-license +