diff --git a/script/revert-vagrant-dev-env.sh b/script/revert-vagrant-dev-env.sh
new file mode 100644
index 0000000000..9d447238a5
--- /dev/null
+++ b/script/revert-vagrant-dev-env.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+for i in $(find /usr/ -name "*.orig"); do
+    f=${i%.orig};
+    if [ -L "$f" ]; then
+        echo "reverting $i to $f"
+        rm $f
+        mv $i $f
+    fi
+done