diff options
author | Rui Marques | 2022-01-11 22:45:35 +0000 |
---|---|---|
committer | Rui Marques | 2022-01-11 22:45:35 +0000 |
commit | 02b998005dec97ed60b9a8fde8b47013d34b1cda (patch) | |
tree | ed79c019914c14eb2c5774d639b00b37c2251721 /inferno.install | |
parent | d6bc370491b426f8fb5392084e8b257a5f8adc31 (diff) | |
download | aur-02b998005dec97ed60b9a8fde8b47013d34b1cda.tar.gz |
change package to inferno the flamegraph port
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 502c018b9e5a..000000000000 --- 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 |