===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.75
retrieving revision 1.76
diff -u -p -r1.75 -r1.76
--- OpenXM/doc/OpenXM-web/index.html 2021/04/02 06:49:16 1.75
+++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 10:33:48 1.76
@@ -1,7 +1,7 @@
@@ -43,24 +43,34 @@ 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-get install openxm
+ sudo apt update
+ sudo apt install openxm
+
+
+The following commands execute the above instruction.
+
+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
+