Inizio script per aggiornamento rev/hash da repository git.

diff --git a/update_rev.sh b/update_rev.sh
new file mode 100755 (executable)
index 0000000..f212c8c
--- /dev/null
+++ b/update_rev.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+url=$(awk '/url/ {gsub("\"", "", $3); gsub(";", "", $3); print $3}' libzakutils.nix)
+git ls-remote $url refs/heads/develop | awk '{print $1}'