From fffda87c9e38ed15b9ba77c7069fde281dfb90c3 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Wed, 4 Nov 2015 12:59:43 +0100
Subject: [PATCH] Remove function to determine platform (unused)

---
 bash_profile | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/bash_profile b/bash_profile
index 9e3911f..fba96c1 100644
--- a/bash_profile
+++ b/bash_profile
@@ -1,17 +1,4 @@
-get_platform() {
-    local remove_spaces="s/ *//g"
-    local to_lower="y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/"
-    local get_version="s/[^0-9]*\(\([0-9]\+\.\?\)*\)/\1/"
-    local kernel=$(uname -s  | sed "$remove_spaces; $to_lower")
-    local version=$(uname -r | sed "$get_version")
-    local machine=$(uname -m | sed "$remove_spaces; $to_lower")
-    echo "$kernel-$version-$machine"
-}
-
-#
 # Environment variables
-#
-export PLATFORM=$(get_platform)
 export EDITOR="vim"
 export HISTSIZE="65536"
 export HISTFILESIZE="$HISTSIZE"