summarylogtreecommitdiffstats
path: root/inferno.install
diff options
context:
space:
mode:
Diffstat (limited to 'inferno.install')
-rw-r--r--inferno.install19
1 files changed, 0 insertions, 19 deletions
diff --git a/inferno.install b/inferno.install
deleted file mode 100644
index 502c018b9e5..00000000000
--- a/inferno.install
+++ /dev/null
@@ -1,19 +0,0 @@
-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