mirror of
https://github.com/fergalmoran/settings-webstorm.git
synced 2025-12-22 01:39:34 +00:00
Added xresources
This commit is contained in:
9
Xresources
Normal file
9
Xresources
Normal file
@@ -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
|
||||
@@ -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.
|
||||
|
||||
Reference in New Issue
Block a user