##// END OF EJS Templates
Added widget list
Added widget list

File last commit:

r17361:092dd5dc
r17489:53526401
Show More
post-checkout
22 lines | 559 B | text/plain | TextLexer
#!/bin/sh
git submodule init
git submodule update
if [[ "$(basename $0)" == "post-merge" ]]; then
PREVIOUS_HEAD=ORIG_HEAD
else
PREVIOUS_HEAD=$1
fi
# if style changed (and less/fabric available), rebuild sourcemaps
if [[
! -z "$(git diff $PREVIOUS_HEAD IPython/html/static/style/ipython.min.css)"
&& ! -z "$(git diff $PREVIOUS_HEAD IPython/html/static/style/style.min.css)"
&& ! -z $(which 2>/dev/null lessc)
&& ! -z $(which 2>/dev/null fab)
]]; then
echo "rebuilding sourcemaps"
cd IPython/html
fab css || echo "failed to compile css"
fi