myconfig

commit c39cc02790238f9cf5cea0b12c24d539a2d8e30b
parent 4f6213edcdb25a1c6449a7a5bee1697c2e0bbb0c
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 11 Oct 2017 19:05:09 +0200

apt

Diffstat:
apt/cd_recent
 | 
5
+++++
apt/desktop
 | 
11
++++++++++-
apt/minimal
 | 
3
+++
apt/server_recent
 | 
2
+-

4 files changed, 19 insertions(+), 2 deletions(-)
diff --git a/apt/cd_recent b/apt/cd_recent
@@ -1 +1,6 @@
 libdvd-pkg
+# this manually installs some packages, so let's mark them and stop bothering
+# about them
+libdvdcss2
+libdvdcss2-dbgsym
+libdvdcss-dev
diff --git a/apt/desktop b/apt/desktop
@@ -1,4 +1,6 @@
 # graphical applications
+desktop-base
+
 audacity
 cheese
 chromium
@@ -36,12 +38,19 @@ fonts-linuxlibertine
 fonts-lyx
 fonts-opensymbol
 xfonts-terminus
+fonts-mathjax
+fonts-mathjax-extras
 
 # flashplugin-nonfree
+
 vim-gtk
+
 scrot
-rosegarden
 gtk-recordmydesktop
+
+rosegarden
+lilypond
+
 linphone
 lm-sensors
 adb
diff --git a/apt/minimal b/apt/minimal
@@ -124,3 +124,6 @@ iputils-ping
 
 bsdmainutils
 unzip
+
+efibootmgr
+grub-efi-amd64
diff --git a/apt/server_recent b/apt/server_recent
@@ -1,7 +1,7 @@
 # useful CLI tools which are not in Debian stable
 # not needed, use electrum: bitcoind
 
-# youtube-dl # installed manually
+youtube-dl # (no longer installed manually?)
 
 # have to install the recent version from debian unstable (v1.7.1)
 pass