diff options
Diffstat (limited to 'utils/direvent/DETAILS')
| -rwxr-xr-x | utils/direvent/DETAILS | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/utils/direvent/DETAILS b/utils/direvent/DETAILS new file mode 100755 index 0000000000..cd4fa5264d --- /dev/null +++ b/utils/direvent/DETAILS @@ -0,0 +1,19 @@ + SPELL=direvent + VERSION=5.0 + SOURCE=$SPELL-$VERSION.tar.gz + SOURCE2=$SOURCE.sig +SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION + SOURCE_URL[0]=$GNU_URL/$SPELL/$SOURCE + SOURCE2_URL[0]=$GNU_URL/$SPELL/$SOURCE2 + SOURCE_GPG=gnu.gpg:$SOURCE2:VERIFIED_UPSTREAM_KEY + SOURCE2_IGNORE=signature + WEB_SITE=http://www.gnu.org/software/direvent/ + ENTERED=20140907 + LICENSE[0]=GPL + SHORT="directory event monitoring daemon" +cat << EOF +GNU Direvent monitors events in the file system directories. For each event +that occurs in a set of pre-configured directories, the program calls +an external program associated with it, supplying it with the information about +the event and the location within the file system where it occured. +EOF |