Skip to content

Instantly share code, notes, and snippets.

@prnthh
Created October 30, 2017 22:27
Show Gist options
  • Select an option

  • Save prnthh/480c1117bf49e64c884be988ed676bab to your computer and use it in GitHub Desktop.

Select an option

Save prnthh/480c1117bf49e64c884be988ed676bab to your computer and use it in GitHub Desktop.

Revisions

  1. prnthh created this gist Oct 30, 2017.
    7 changes: 7 additions & 0 deletions .bashrc
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,7 @@
    rerun(){
    while inotifywait -e create,delete,modify .;
    do
    kill %% //kills the last background process
    $@ & //spawns new process in background
    done;
    }