##// END OF EJS Templates
dev(makefile): added dev shell prompt
super-admin -
r1172:a2015e2c default
parent child Browse files
Show More
@@ -1,5 +1,5 b''
1 # required for pushd to work..
1 # required for pushd to work..
2 #SHELL = /bin/bash
2 SHELL = /bin/bash
3
3
4
4
5 # set by: PATH_TO_OUTDATED_PACKAGES=/some/path/outdated_packages.py
5 # set by: PATH_TO_OUTDATED_PACKAGES=/some/path/outdated_packages.py
@@ -55,6 +55,14 b' build:'
55 python -m build
55 python -m build
56
56
57
57
58 .PHONY: dev-sh
59 ## make dev-sh
60 dev-sh:
61 sudo apt-get update
62 sudo apt-get install -y zsh
63 curl https://raw.githubusercontent.com/robbyrussell/oh-my-zsh/master/tools/install.sh | sh
64 PROMPT='%(?.%F{green}√.%F{red}?%?)%f %B%F{240}%1~%f%b %# ' zsh
65
58 .PHONY: dev-env
66 .PHONY: dev-env
59 ## make dev-env based on the requirements files and install develop of packages
67 ## make dev-env based on the requirements files and install develop of packages
60 ## Cleanup: pip freeze | grep -v "^-e" | grep -v "@" | xargs pip uninstall -y
68 ## Cleanup: pip freeze | grep -v "^-e" | grep -v "@" | xargs pip uninstall -y
General Comments 0
You need to be logged in to leave comments. Login now