diff options
| -rw-r--r-- | extra/pulseaudio/Pkgfile | 2 | ||||
| -rwxr-xr-x | extra/pulseaudio/post-install | 7 |
2 files changed, 8 insertions, 1 deletions
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 |