X-Git-Url: https://git.rmz.io/dotfiles.git/blobdiff_plain/eabc80c4d9e790bfee4304a642430523f2965eb6..5a68a96d656e686f632dd805bafe462b1e19bc70:/dwb/userstyles/update-github?ds=inline diff --git a/dwb/userstyles/update-github b/dwb/userstyles/update-github deleted file mode 100755 index 9728a6f..0000000 --- a/dwb/userstyles/update-github +++ /dev/null @@ -1,12 +0,0 @@ -#! /bin/bash - -DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" - -out="$DIR/github.com.css" -theme="wombat" - -wget "https://github.com/StylishThemes/GitHub-Dark/raw/master/github-dark.css" \ - "https://github.com/StylishThemes/GitHub-Dark/raw/master/themes/src/pygments-${theme}.css" \ - -O "$out" - -sed '/@-moz-document/d;/^}/d' -i "$out"