summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAustin English <austinenglish@gmail.com>2017-03-18 14:01:40 -0500
committerAustin English <austinenglish@gmail.com>2017-03-18 14:01:40 -0500
commitdb8d34737e09026d156cc1e22edb9082cf0008ab (patch)
treec0486cb145d8e247d02ee4ef8a9314899d772943
parentf4948e1a25a44c4f8b4f1e3ae72a8ac98903e279 (diff)
config/chroot_local-packageslists/tails-common.list: add gnome-sound-recorder (from sid)sound-recorder
-rw-r--r--config/chroot_apt/preferences5
-rw-r--r--config/chroot_local-packageslists/tails-common.list1
2 files changed, 6 insertions, 0 deletions
diff --git a/config/chroot_apt/preferences b/config/chroot_apt/preferences
index 83f6b07..93fe5a6 100644
--- a/config/chroot_apt/preferences
+++ b/config/chroot_apt/preferences
@@ -31,6 +31,11 @@ Package: firmware-zd1211
Pin: release o=Debian,n=sid
Pin-Priority: 999
+Explanation: Need >=3.21.92-2 so that gstreamer1.0-pulseaudio is pulled in, see https://labs.riseup.net/code/issues/10950 and https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852870
+Package: gnome-sound-recorder
+Pin: release o=Debian,n=sid
+Pin-Priority: 999
+
Package: grub-common
Pin: origin deb.tails.boum.org
Pin-Priority: 999
diff --git a/config/chroot_local-packageslists/tails-common.list b/config/chroot_local-packageslists/tails-common.list
index 0859549..0c42cc8 100644
--- a/config/chroot_local-packageslists/tails-common.list
+++ b/config/chroot_local-packageslists/tails-common.list
@@ -102,6 +102,7 @@ gnome-screenshot
gnome-session
gnome-session-flashback
gnome-shell-extensions
+gnome-sound-recorder
gnome-system-log
gnome-system-monitor
gnome-terminal