summarylogtreecommitdiffstats
path: root/clean.install
diff options
context:
space:
mode:
authorHans-Nikolai Viessmann2022-02-08 15:26:06 +0100
committerHans-Nikolai Viessmann2022-02-08 15:26:46 +0100
commit90a4f9ff234b2cdd25ff374f549dc8fec7a0cea7 (patch)
tree7fef04bdf25d474287ce5e9242fbb40749faf461 /clean.install
parent1667cef1df7fcb541f8409c66b4817bb6797c50a (diff)
downloadaur-90a4f9ff234b2cdd25ff374f549dc8fec7a0cea7.tar.gz
bump version to 3.1
Diffstat (limited to 'clean.install')
-rw-r--r--clean.install11
1 files changed, 11 insertions, 0 deletions
diff --git a/clean.install b/clean.install
new file mode 100644
index 000000000000..2962205de78e
--- /dev/null
+++ b/clean.install
@@ -0,0 +1,11 @@
+post_install() {
+ echo " "
+ echo " Clean has been installed, but is **not** usable!"
+ echo " It needs to be setup locally, call \`clenv init'"
+ echo " to setup Clean for your account."
+ echo " "
+}
+
+post_upgrade() {
+ post_install
+}