Skip to content

Instantly share code, notes, and snippets.

@andykais
Last active August 29, 2015 14:17
Show Gist options
  • Save andykais/b38a5fa330a00ce1ff92 to your computer and use it in GitHub Desktop.
Save andykais/b38a5fa330a00ce1ff92 to your computer and use it in GitHub Desktop.
I use for run on change for any compiling program with nice output
#!/bin/sh
FORMAT=$(echo -e "\033[1;33m%w%f\033[0m written at $(date +'%r')")
"$@"
while inotifywait -qre close_write --format "$FORMAT" .
do
"$@"
done
@andykais
Copy link
Author

example:
$ roc pdfl assignment.tex

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment