From cf3f2fbcee39c0d1a7e983ec1266f32a7f5ba02a Mon Sep 17 00:00:00 2001
From: Andreas Granig <agranig@sipwise.com>
Date: Tue, 3 Oct 2017 09:38:25 +0200
Subject: [PATCH] TT#23004 Undo dev environment

Change-Id: I4556201095f14b83d47274e2bb1abd18ac99a8b5
---
 script/revert-vagrant-dev-env.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 script/revert-vagrant-dev-env.sh

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