myconfig

commit 2dca8220e5ef98d627c9493a531ced6df003d197
parent 371a27669cc92c845cb170da0e93db68aed19811
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun,  1 Feb 2015 01:52:48 +0100

add missing

Diffstat:
apt/games
 | 
10
+++++-----
apt/latex
 | 
2
++
apt/libs
 | 
1
+
apt/server
 | 
4
++++
apt/server_recent
 | 
2
+-

5 files changed, 13 insertions(+), 6 deletions(-)
diff --git a/apt/games b/apt/games
@@ -4,7 +4,7 @@ armagetronad
 barrage
 bb
 between
-blobwars
+# blobwars
 bsdgames
 burgerspace
 criticalmass
@@ -12,9 +12,9 @@ cultivation
 excellent-bifurcation
 frozen-bubble
 garden-of-coloured-lights
-gnibbles
-gnome-sudoku
-gnomine
+# gnibbles
+# gnome-sudoku
+# gnomine
 gnotski
 gnuchess
 gnuchess-book
@@ -35,7 +35,7 @@ tumiki-fighters
 typespeed
 val-and-rick
 nethack-console
-out-of-order
+# out-of-order
 mu-cade
 fortunes
 fortunes-bofh-excuses
diff --git a/apt/latex b/apt/latex
@@ -25,3 +25,5 @@ texlive-lang-european
 dot2tex
 graphviz
 gnuplot
+chktex
+lacheck
diff --git a/apt/libs b/apt/libs
@@ -2,3 +2,4 @@
 libncursesw5-dev
 libxml2-dev
 libmidi-perl # for mid2csound.pl
+libconfig-dev # for ngp
diff --git a/apt/server b/apt/server
@@ -55,3 +55,7 @@ automake
 pdfgrep
 tinyproxy
 tor
+atop
+debsums
+trash-cli
+pbuilder
diff --git a/apt/server_recent b/apt/server_recent
@@ -1,6 +1,6 @@
 # useful CLI tools which are not in Debian stable
 bitcoind
-youtube-dl
+# youtube-dl # installed manually
 pass
 hopenpgp-tools
 tcplay # truecrypt alternative