From a62347ef7d01249dd68c773c73b92340059aa805 Mon Sep 17 00:00:00 2001 From: piernov Date: Thu, 28 Jul 2011 01:18:00 +0200 Subject: pulseaudio 0.9.23-3 ajout post-install --- extra/pulseaudio/Pkgfile | 2 +- extra/pulseaudio/post-install | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) create mode 100755 extra/pulseaudio/post-install diff --git a/extra/pulseaudio/Pkgfile b/extra/pulseaudio/Pkgfile index 0146c11d2..0eee3152e 100644 --- a/extra/pulseaudio/Pkgfile +++ b/extra/pulseaudio/Pkgfile @@ -7,7 +7,7 @@ name=pulseaudio version=0.9.23 -release=2 +release=3 source=(http://freedesktop.org/software/$name/releases/$name-$version.tar.gz asound.conf) diff --git a/extra/pulseaudio/post-install b/extra/pulseaudio/post-install new file mode 100755 index 000000000..bc2c8e580 --- /dev/null +++ b/extra/pulseaudio/post-install @@ -0,0 +1,7 @@ +#!/bin/sh + +port=pulseaudio + +[[ `grep shm /etc/fstab` ]] || ( echo "shm /dev/shm tmpfs nodev,nosuid,noexec 0 0" >> /etc/fstab && mount shm ) + +# End of file -- cgit v1.2.3-70-g09d2