summarylogtreecommitdiffstats
path: root/inferno.install
diff options
context:
space:
mode:
authorKonstantinos2017-08-11 12:10:08 +0300
committerKonstantinos2017-08-11 12:10:08 +0300
commit12dc44ef72b58c12da5121f33918803cfdb32cea (patch)
tree926cc8f04f01a477e70e5d4b66a1f79263fba7a5 /inferno.install
downloadaur-12dc44ef72b58c12da5121f33918803cfdb32cea.tar.gz
useful commit message
Diffstat (limited to 'inferno.install')
-rw-r--r--inferno.install19
1 files changed, 19 insertions, 0 deletions
diff --git a/inferno.install b/inferno.install
new file mode 100644
index 00000000000..502c018b9e5
--- /dev/null
+++ b/inferno.install
@@ -0,0 +1,19 @@
+post_install() {
+ groupadd inferno
+ IROOT=/usr/local/inferno
+ find $IROOT -path $IROOT/Linux -prune -o -exec chgrp inferno {} +
+ cat << 'END'
+ Permissions for a user to modify the files are needed.
+ This can be done adding a user to the group inferno with:
+ # usermod -a -G inferno $USER
+ For how to procceed you can read the doc/install.ms manual.
+ On the host system this can be done as:
+ # nroff -ms /usr/local/inferno/doc/install.ms | less
+ After invoking inferno (an emu wrapper) this can be dones as:
+ ; man -f /doc/install.ms | p
+END
+}
+
+post_remove() {
+ groupdel inferno
+} \ No newline at end of file