linux-history.sh: python dev