]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commitdiff
Add simple bash script to remove configs options from full configuration
authorKarel Kočí <cynerd@email.cz>
Fri, 17 Jul 2015 09:37:53 +0000 (11:37 +0200)
committerKarel Kočí <cynerd@email.cz>
Fri, 17 Jul 2015 10:07:08 +0000 (12:07 +0200)
Options are removed if they are found in selected folder (variable FOLDER).

scripts/from_folder [new file with mode: 0755]

diff --git a/scripts/from_folder b/scripts/from_folder
new file mode 100755 (executable)
index 0000000..b72899f
--- /dev/null
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+FOLDER=linux/arch
+
+CONF=`find $FOLDER -name Kconfig | xargs grep -e ^config | cut -d ' ' -f2`
+
+REG=`echo $CONF | tr " " "|" | sed 's/^/\(/' | sed 's/$/\)/'`
+
+#egrep "$REG" $1
+egrep -v "$REG" $1 > $2