diff --git a/Makefile b/Makefile --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # required for pushd to work.. -#SHELL = /bin/bash +SHELL = /bin/bash # set by: PATH_TO_OUTDATED_PACKAGES=/some/path/outdated_packages.py @@ -55,6 +55,14 @@ build: python -m build +.PHONY: dev-sh +## make dev-sh +dev-sh: + sudo apt-get update + sudo apt-get install -y zsh + curl https://raw.githubusercontent.com/robbyrussell/oh-my-zsh/master/tools/install.sh | sh + PROMPT='%(?.%F{green}√.%F{red}?%?)%f %B%F{240}%1~%f%b %# ' zsh + .PHONY: dev-env ## make dev-env based on the requirements files and install develop of packages ## Cleanup: pip freeze | grep -v "^-e" | grep -v "@" | xargs pip uninstall -y