Submit File Filter
One of the ISG scripts is a default file filter that performs many common filtering tasks. However, it allows you to specify your own course or assignment-specific filters; any interesting extra filters should be archived here. You can see the man page for the file_filter submit hook (as opposed to the ISG file_filter program) by issuing the commandman 4 file_filter. 
 |
|
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback