From f39c9025125175f8458bb90cd8ded9a11891d7cf Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@ikn.ethz.ch>
Date: Fri, 28 Nov 2008 12:41:13 +0100
Subject: [PATCH] archive your configs

Signed-off-by: Nico Schottelius <nico@ikn.ethz.ch>
---
 linux/archive-configs.sh | 42 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 linux/archive-configs.sh

diff --git a/linux/archive-configs.sh b/linux/archive-configs.sh
new file mode 100644
index 0000000..a6c784f
--- /dev/null
+++ b/linux/archive-configs.sh
@@ -0,0 +1,42 @@
+#!/bin/sh
+# 
+# 2008      Nico Schottelius (nico-nsbin at schottelius.org)
+# 
+# This file is part of nsbin.
+#
+# nsbin is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# nsbin is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with nsbin. If not, see <http://www.gnu.org/licenses/>.
+#
+
+#
+# If you've many linux-X.Y.Z directiories and want to save the config
+# and remove all the old sources, this script is what you searched for.
+#
+
+# Linux is configured via .config
+srcfile=".config"
+
+# This is where we save the configs
+dstdir='configs'
+
+mkdir -p "$dst"
+
+for conf in */.config; do
+   mv "$conf" "$dstdir/${conf%%/*}"
+   rem="${conf%%.config}"
+   echo "Removing $rem in background..."
+   rm -rf ${conf%%.config} &
+done
+
+echo "Waiting for removal of sources..."
+wait