Search Results for "gnu make"

Tool to use from Python interactive interpreter or script. Use it to make JSON indexes of all files in a directory, or files of a certain type. Could be used to observe activity in a server directory, to generate JSON to send to clients searching remotely, or to keep an index of files in a directory when the user of that directory does not have permission to probe the files system for files without knowing their names. Uses a configuration file, or optionally you can pass configuration...