diff --git a/install.sh b/install.sh index 7f90830..3b62009 100755 --- a/install.sh +++ b/install.sh @@ -194,7 +194,10 @@ deploy_jupyter() { deploy_mintty() { heading 'mintty' ensure_directory "$XDG_CONFIG_HOME/mintty" + ensure_directory "$XDG_CONFIG_HOME/mintty/themes" link "$DOTFILES/mintty/minttyrc" "$XDG_CONFIG_HOME/mintty/config" + link "$DOTFILES/mintty/solarized-dark" "$XDG_CONFIG_HOME/mintty/themes/solarized-dark" + link "$DOTFILES/mintty/solarized-light" "$XDG_CONFIG_HOME/mintty/themes/solarized-light" } deploy_misc() { diff --git a/mintty/minttyrc b/mintty/minttyrc index 197c98b..55d96cb 100644 --- a/mintty/minttyrc +++ b/mintty/minttyrc @@ -15,22 +15,5 @@ SelectionShowSize=6 Term=xterm-256color Transparency=low Utmp=yes -ForegroundColour=147,161,161 -BackgroundColour=0,43,54 -CursorColour=220,50,47 -Black=7,54,66 -White=238,232,213 -Yellow=181,137,0 -Red=220,50,47 -Magenta=211,54,130 -Blue=38,139,210 -Cyan=42,161,152 -Green=133,153,0 -BoldBlack=0,43,54 -BoldGreen=88,110,117 -BoldYellow=101,123,131 -BoldBlue=131,148,150 -BoldCyan=147,161,161 -BoldWhite=253,246,227 -BoldRed=203,75,22 -BoldMagenta=108,113,196 +ThemeFile=solarized-dark + diff --git a/mintty/solarized-dark b/mintty/solarized-dark new file mode 100644 index 0000000..21edb45 --- /dev/null +++ b/mintty/solarized-dark @@ -0,0 +1,22 @@ +# Solarized Dark + +ForegroundColour=131,148,150 +BackgroundColour=0,43,54 +CursorColour=220,50,47 + +Black=7,54,66 +White=238,232,213 +Yellow=181,137,0 +Red=220,50,47 +Magenta=211,54,130 +Blue=38,139,210 +Cyan=42,161,152 +Green=133,153,0 +BoldBlack=0,43,54 +BoldGreen=88,110,117 +BoldYellow=101,123,131 +BoldBlue=131,148,150 +BoldCyan=147,161,161 +BoldWhite=253,246,227 +BoldRed=203,75,22 +BoldMagenta=108,113,196 diff --git a/mintty/solarized-light b/mintty/solarized-light new file mode 100644 index 0000000..0a01fd3 --- /dev/null +++ b/mintty/solarized-light @@ -0,0 +1,22 @@ +# Solarized Light + +ForegroundColour=101,123,131 +BackgroundColour=253,246,227 +CursorColour=220,50,47 + +Black=7,54,66 +White=238,232,213 +Yellow=181,137,0 +Red=220,50,47 +Magenta=211,54,130 +Blue=38,139,210 +Cyan=42,161,152 +Green=133,153,0 +BoldBlack=0,43,54 +BoldGreen=88,110,117 +BoldYellow=101,123,131 +BoldBlue=131,148,150 +BoldCyan=147,161,161 +BoldWhite=253,246,227 +BoldRed=203,75,22 +BoldMagenta=108,113,196