From 5e22f823b4edf50fbcf084dea06d276637ed86b6 Mon Sep 17 00:00:00 2001 From: Adrian Malacoda Date: Mon, 11 Feb 2019 02:11:04 -0600 Subject: [PATCH] add script for installing plugin to user's home directory --- install_plugin | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 install_plugin diff --git a/install_plugin b/install_plugin new file mode 100755 index 0000000..70b4877 --- /dev/null +++ b/install_plugin @@ -0,0 +1,2 @@ +#!/bin/bash +cp target/debug/libshenlong.so ~/.config/geany/plugins/