diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-17 11:37:53 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-17 12:07:08 +0200 |
| commit | 0369c9efcd941d9f76364568d56024b841aa66b9 (patch) | |
| tree | 5a8c5736db21acfdfb5a02df31ea0362aa12f861 | |
| parent | 4f60634364615a9fc00b4b19dbec8c7615820622 (diff) | |
| download | linux-conf-perf-0369c9efcd941d9f76364568d56024b841aa66b9.tar.gz linux-conf-perf-0369c9efcd941d9f76364568d56024b841aa66b9.tar.bz2 linux-conf-perf-0369c9efcd941d9f76364568d56024b841aa66b9.zip | |
Add simple bash script to remove configs options from full configuration
Options are removed if they are found in selected folder (variable FOLDER).
| -rwxr-xr-x | scripts/from_folder | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/from_folder b/scripts/from_folder new file mode 100755 index 0000000..b72899f --- /dev/null +++ b/scripts/from_folder @@ -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 |