From 041b021ed6e3cfe80d9d2c9b92f811fe781098ce Mon Sep 17 00:00:00 2001 From: Rene Vergara Date: Tue, 16 Jul 2024 09:08:48 -0500 Subject: [PATCH] Add install script --- install | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 install diff --git a/install b/install new file mode 100755 index 0000000..2dc2023 --- /dev/null +++ b/install @@ -0,0 +1,5 @@ +#!/bin/bash + +echo "Deploying Zenith executable..." +ln -s ${PWD}/dist-newstyle/build/x86_64-linux/ghc-9.6.5/zenith-0.6.0.0/build/zenith/zenith ~/.local/bin/zenith +echo "Done."