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..4ea0f9f 100644 --- a/bash_functions +++ b/bash_functions @@ -2,6 +2,17 @@ function pips() { echo $'\n'$1 >> requirements.txt; pip install $1 } +<<<<<<< HEAD +function reset_webstorm(){ + cd ~/.WebStorm* + rm config/eval/WebStorm*evaluation.key + rm config/options/options.xml + cd ~/.java/.userPrefs/jetbrains + rm -rf webstorm +} + +======= +>>>>>>> parent of 02ed9ee... WS-2017.2 >>>>>> parent of 02ed9ee... WS-2017.2 >>>>>> parent of 02ed9ee... WS-2017.2