From 79b6aebd7c2f2af33e94aabd3ae1463ba5624bf7 Mon Sep 17 00:00:00 2001
From: shim_ <marvin@localhost.localdomain>
Date: Wed, 22 Jun 2016 19:20:25 +0200
Subject: [PATCH] use a script rather than a link

---
 init.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/init.sh b/init.sh
index 6d7dee4..00ba3d3 100755
--- a/init.sh
+++ b/init.sh
@@ -39,5 +39,6 @@ fi
 
 if [ ! -z "$HIDE_PROCESSES" ]; then
  rm -f /bin/ps
- ln -s /bin/true /bin/ps
+ echo -e "#!/bin/sh\n\n/bin/true" > /bin/ps
+ chmod +x /bin/ps
 fi