15727a2f92
Remove trailing whitespace; fix minor warnings
2019-03-30 20:23:07 +01:00
11cd5be441
Againt, the directory is a Pathname object now
2018-06-22 23:13:37 +02:00
3a5609a5a3
Remove the unnecessary empty string argument
2018-06-22 23:13:21 +02:00
34bd63ca3d
The directory is a Pathname object now; set the correct file path
2018-06-22 23:09:14 +02:00
49991c8924
Get the real path of the files and ensure uniqueness
2018-06-22 22:59:28 +02:00
Admar Schoonen
c81a670261
Added printing empty lines after compilation
...
Adding printing an empty line after a compile iteration has finished
makes it easier to parse the output and look for errors.
2018-06-22 21:16:26 +02:00
48de8f578f
Only compile if a dependency of the input file has been modified
2018-06-22 20:20:30 +02:00
12cccdde4c
Add missing block variable
2018-06-22 20:09:09 +02:00
712b17c308
Rewrite to use the new rb-inotify API
2018-06-22 20:07:26 +02:00
96a6d3533c
Replace the inotify library by rb-inotify
2015-09-06 10:26:41 +02:00
93a3eaf51e
Fix Ruby 1.9.x compatbility issues
2012-11-25 11:38:21 +01:00
Paul van Tilburg
2cf165424a
Only clean on exit, not after compile (DVI will be gone).
2009-08-06 17:17:39 +02:00
Paul van Tilburg
926e4ca4ec
Merge branch 'master' of git.luon.net:/git/users/paul/rubberin
2009-07-16 12:02:56 +02:00
Paul van Tilburg
2d4227a362
Clean up cruft on quit.
2009-07-16 12:02:40 +02:00
Paul van Tilburg
e0bcda0cf3
Added the --version commandline parameter.
2009-07-06 01:48:53 +02:00
Paul van Tilburg
654a04f401
Add the ToDo list.
2009-03-30 12:50:00 +02:00
Paul van Tilburg
5d621b32e8
Updated to release 0.6:
...
* Remove the .err-file if the compile was succesful.
* Watch the directories of the files that should be watched
instead of the files themself.
* Look for CLOSE_WRITE events instead of MODIFY. This makes
rubberin compatible with vim/gedit/ispell/svn/git/etc.
2009-03-25 12:51:33 +01:00
Paul van Tilburg
06750505d3
Added a license/COPYING file.
2009-03-24 19:58:02 +01:00
Paul van Tilburg
91b56eca61
Initial import of rubberin.
2009-03-24 19:53:54 +01:00
