diff options
Diffstat (limited to 'inferno.install')
-rw-r--r-- | inferno.install | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/inferno.install b/inferno.install new file mode 100644 index 000000000000..502c018b9e5a --- /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 |