diff options
author | Austin English <austinenglish@gmail.com> | 2017-03-18 14:01:40 -0500 |
---|---|---|
committer | Austin English <austinenglish@gmail.com> | 2017-03-18 14:01:40 -0500 |
commit | db8d34737e09026d156cc1e22edb9082cf0008ab (patch) | |
tree | c0486cb145d8e247d02ee4ef8a9314899d772943 | |
parent | f4948e1a25a44c4f8b4f1e3ae72a8ac98903e279 (diff) |
config/chroot_local-packageslists/tails-common.list: add gnome-sound-recorder (from sid)sound-recorder
-rw-r--r-- | config/chroot_apt/preferences | 5 | ||||
-rw-r--r-- | config/chroot_local-packageslists/tails-common.list | 1 |
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 |