===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.74
retrieving revision 1.77
diff -u -p -r1.74 -r1.77
--- OpenXM/doc/OpenXM-web/index.html 2021/03/29 08:03:43 1.74
+++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77
@@ -1,7 +1,7 @@
@@ -43,23 +43,43 @@ It is updated everyday.
Debian package for amd64
-- Add the following to /etc/apt/sources.list
+
- Add the file fe-deb2.list of which contents are
- 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/
-
- Add our keys to your system.
-The keys are at
- http://www.math.kobe-u.ac.jp/deb2/pub-keys
+under /etc/apt/sources.list.d
+
- Add our gpg public key to your system.
+The key is at
+ http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg
+Copy this file to /usr/share/keyrings by
- apt-key add mathlibre.pub
- 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
+
+
+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
+