diff options
author | Gianni Ceccarelli <gianni.ceccarelli@broadbean.com> | 2018-02-21 16:41:20 +0000 |
---|---|---|
committer | Gianni Ceccarelli <gianni.ceccarelli@broadbean.com> | 2018-02-21 16:41:20 +0000 |
commit | 8901da17d39cbf5cdf4c01fad2b7a2abf0201594 (patch) | |
tree | aa58380cf0458baa9fd598b8329e83122feb6bc1 | |
parent | ignore pm2 droppings (diff) | |
download | color-8901da17d39cbf5cdf4c01fad2b7a2abf0201594.tar.gz color-8901da17d39cbf5cdf4c01fad2b7a2abf0201594.tar.bz2 color-8901da17d39cbf5cdf4c01fad2b7a2abf0201594.zip |
filter script for cgit
-rwxr-xr-x | source-filter | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source-filter b/source-filter new file mode 100755 index 0000000..87c3896 --- /dev/null +++ b/source-filter @@ -0,0 +1,2 @@ +#!/bin/bash +exec curl -s --connect-timeout 0.5 --max-time 2 -H "Filename: $1" --data-binary @- http://127.0.0.1:8000/ |