From 27e2b6ffb79ed0cc6a6ede02ac09af774c7fea67 Mon Sep 17 00:00:00 2001
From: Omer Katz <omer.drow@gmail.com>
Date: Fri, 17 Oct 2014 16:59:19 +0300
Subject: [PATCH] Added the pipsi plugin.

---
 plugins/available/pipsi.plugin.bash | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 plugins/available/pipsi.plugin.bash

diff --git a/plugins/available/pipsi.plugin.bash b/plugins/available/pipsi.plugin.bash
new file mode 100644
index 00000000..3a645782
--- /dev/null
+++ b/plugins/available/pipsi.plugin.bash
@@ -0,0 +1,7 @@
+cite about-plugin
+about-plugin 'load pipsi, if you are using it'
+
+if [[ -f $HOME/.local/bin/pipsi ]]
+then
+    export PATH=~/.local/bin:$PATH
+fi