diff options
Diffstat (limited to 'inferno.install')
| -rw-r--r-- | inferno.install | 19 |
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 |