-->
Luca's pills for computer vision and machine learning experiments on linux
Fixes and hacks for bash, sed, awk, python, perl, makefile, ...
Monday, March 18, 2013
username and hostname in makefile
It is supersimple to get username/hostname in makefiles:
echo "This is username ${USER} @ ${HOSTNAME}"
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment