Merge branch 'master' of git.fsmpi.rwth-aachen.de:infra/ansible

client/tasks/desktop.yml

@@ -40,6 +40,7 @@
 - name: ensure development applications are installed
   apt: name={{ item }} state=latest
   with_items:
+    - dia
     - subversion
     - emacs
     - joe
@@ -64,6 +65,7 @@
     - python-pip
     - python-virtualenv
     - root-system
+    - octave
     - libroot-bindings-python5.34
     - mysql-client
   tags:
@@ -107,6 +109,7 @@
   apt: name={{ item }} state=latest
   with_items:
     - vlc
+    - smplayer
     - pulseaudio-utils
     - alsa-utils
     - arandr