summarylogtreecommitdiffstats
path: root/inferno.install
diff options
context:
space:
mode:
authorRui Marques2022-01-11 22:45:35 +0000
committerRui Marques2022-01-11 22:45:35 +0000
commit02b998005dec97ed60b9a8fde8b47013d34b1cda (patch)
treeed79c019914c14eb2c5774d639b00b37c2251721 /inferno.install
parentd6bc370491b426f8fb5392084e8b257a5f8adc31 (diff)
downloadaur-02b998005dec97ed60b9a8fde8b47013d34b1cda.tar.gz
change package to inferno the flamegraph port
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 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