From e7cfad0c8c6b360c09384f6d032d70d669350eb3 Mon Sep 17 00:00:00 2001
From: Artem Sapegin <artem@sapegin.ru>
Date: Mon, 4 Feb 2013 14:32:58 +0400
Subject: [PATCH] Bash: Linux compatibility.

---
 tilde/bash_profile.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tilde/bash_profile.bash b/tilde/bash_profile.bash
index 578451f..dbf2414 100644
--- a/tilde/bash_profile.bash
+++ b/tilde/bash_profile.bash
@@ -116,4 +116,4 @@ unset less_options
 export PAGER='less'
 
 # Load extra (private) settings
-[ -f "~/.bashlocal" ] && source "~/.bashlocal"
+[ -f ~/.bashlocal ] && source ~/.bashlocal