myconfig

commit 5899e4c71a2494b8a67b1f268a8d358dec9d1cf0
parent 39f4d75cf2f114a0385be6f7f2261bde919bfce9
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue, 15 Aug 2023 20:21:03 +0200

Merge branch 'master' of a3nm.net:git/myconfig

Diffstat:
apt/desktop
 | 
2
+-
apt/libs
 | 
6
+++---
apt/osm
 | 
3
+--
apt/server
 | 
2
+-

4 files changed, 6 insertions(+), 7 deletions(-)
diff --git a/apt/desktop b/apt/desktop
@@ -95,7 +95,7 @@ pavucontrol
 # default-jdk
 default-jre
 dirdiff
-gconf-editor
+# gconf-editor # no longer installs
 wmctrl
 mesa-utils
 file-roller
diff --git a/apt/libs b/apt/libs
@@ -1,7 +1,7 @@
 # useful libraries for compilation and scripts
-libncursesw5-dev
+# libncursesw5-dev
 libxml2-dev
 libmidi-perl # for mid2csound.pl
-libconfig-dev # for ngp
-libncurses5-dev # for ngp
+# libconfig-dev # for ngp
+# libncurses5-dev # for ngp
 libgit2-dev # for stagit
diff --git a/apt/osm b/apt/osm
@@ -1,2 +1 @@
-# josm # use a more recent version
-
+josm # use a more recent version
diff --git a/apt/server b/apt/server
@@ -58,7 +58,7 @@ netselect-apt
 
 apache2-utils # for htpasswd
 
-pdftk
+pdftk-java
 qpdf
 
 manpages