From 35360437700d2406f766f463bd9c5c7f8aaf5dd1 Mon Sep 17 00:00:00 2001
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Mon, 6 Apr 2015 08:58:47 +0900
Subject: srem into $PATH on Windows

Not such an elegant way of making it available.  I hope to improve on my
srem installation on both Windows and GNU/Linux.
---
 .bashrc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.bashrc b/.bashrc
index 501709c9..9729e2d2 100644
--- a/.bashrc
+++ b/.bashrc
@@ -14,6 +14,11 @@ if [ -d "$CYG_APPDATA/cabal/bin" ]; then
     export PATH="$CYG_APPDATA/cabal/bin:$PATH"
 fi
 
+# And srem.
+if [ -d "$HOME/src/srem/.cabal-sandbox/bin" ]; then
+    export PATH="$HOME/src/srem/.cabal-sandbox/bin:$PATH"
+fi
+
 # --- aliases
 
 alias g='git'
-- 
cgit v1.2.3