=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.76 retrieving revision 1.77 diff -u -p -r1.76 -r1.77 --- OpenXM/doc/OpenXM-web/index.html 2022/03/28 10:33:48 1.76 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77 @@ -1,7 +1,7 @@ @@ -66,10 +66,19 @@ sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyring The following commands execute the above instruction.
+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
+
+ +Note: If you agree with the asir license in advance, do as follows +
+touch /tmp/i-agree-with-asir-license 
+sudo apt install openxm
+rm  /tmp/i-agree-with-asir-license