From d2afd070b462a8d14a59cea40c5ec7cca7efecba Mon Sep 17 00:00:00 2001
From: Fergal Moran <fergal.moran@gmail.com>
Date: Mon, 21 Aug 2017 19:38:18 +0100
Subject: [PATCH] Added xresources

---
 Xresources     | 9 +++++++++
 bash_functions | 8 ++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 Xresources

diff --git a/Xresources b/Xresources
new file mode 100644
index 0000000..a860e7f
--- /dev/null
+++ b/Xresources
@@ -0,0 +1,9 @@
+XTerm*renderFont: true
+XTerm*faceName: DejaVu Sans Mono
+XTerm*faceSize: 10
+XTerm*maximized: true
+
+UXTerm*renderFont: true
+UXTerm*faceName: DejaVu Sans Mono
+UXTerm*faceSize: 10
+UXTerm*maximized: true
diff --git a/bash_functions b/bash_functions
index dd8c7a4..ef7af4c 100644
--- a/bash_functions
+++ b/bash_functions
@@ -2,6 +2,14 @@ function pips() {
     echo $'\n'$1 >> requirements.txt; pip install $1
 }
 
+function reset_webstorm(){
+    cd ~/.WebStorm*
+    rm config/eval/WebStorm*evaluation.key
+    rm config/options/options.xml
+    cd ~/.java/.userPrefs/jetbrains
+    rm -rf webstorm
+}
+
 cb() {
   local _scs_col="\e[0;32m"; local _wrn_col='\e[1;31m'; local _trn_col='\e[0;33m'
   # Check that xclip is installed.