]>
git.rmz.io Git - dotfiles.git/blob - dwb/userstyles/update
3 DIR
="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
7 sites[github.com.css]="https
://github.com
/StylishThemes
/GitHub
-Dark/raw
/master
/github
-dark.css
"
8 sites[wikipedia.org.css]="https
://github.com
/StylishThemes
/Wikipedia
-Dark/raw
/master
/wikipedia
-dark.css
"
9 sites[stackoverflow.com.css]="https
://github.com
/StylishThemes
/StackOverflow
-Dark/raw
/master
/stackoverflow
-dark.css
"
11 for file in "${!sites[@]}"; do
12 wget "${sites[$file]}" -O "$DIR/$file"
13 sed '/@-moz-document/d;/^}/d' -i "$DIR/$file"