From a62347ef7d01249dd68c773c73b92340059aa805 Mon Sep 17 00:00:00 2001
From: piernov <piernov@piernov.org>
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

(limited to 'extra')

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-54-g00ecf