From 754ae4e8cd8ac268e686d7af15bbe7aaa31efcd2 Mon Sep 17 00:00:00 2001
From: Paul Walker <paul@blacksun.org.uk>
Date: Tue, 2 Jun 2020 11:26:28 +0100
Subject: [PATCH] bash: set CURRENT_OS

---
 bashrc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/bashrc b/bashrc
index 2774345..6d85ff4 100644
--- a/bashrc
+++ b/bashrc
@@ -5,6 +5,12 @@
 # If not running interactively, don't do anything
 [ -z "$PS1" ] && return
 
+if [ "$(uname -s)" == "Darwin" ] ; then
+  export CURRENT_OS=macos
+else
+  export CURRENT_OS=linux
+fi
+
 # Add an entry to PATH, iff it's not already there.
 addpath() {
     wanted_path=$1