-->
Luca's pills for computer vision and machine learning experiments on linux
Fixes and hacks for bash, sed, awk, python, perl, makefile, ...
Thursday, May 30, 2013
Change extension of a file in Makefile
Change extension of a file using a simple rule in
mv $${s}{,.jpgl}
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment