diff options
-rwxr-xr-x | merge-kernel-configs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/merge-kernel-configs b/merge-kernel-configs new file mode 100755 index 0000000..d8d86e3 --- /dev/null +++ b/merge-kernel-configs @@ -0,0 +1,26 @@ +#!/bin/bash + +# merge-kernel-configs $out +# (reads from stdin) + +rm -f "$1" +touch "$1" + +while read -r line; do + variable=$( + printf '%s\n' "${line}" | \ + sed ' + s/^# \(\S\+\) is not set$/\1/ + t + s/=.*$// + t + d + ' + ) + if [ -z "${variable}" ] || \ + grep -q '^\(# \)\?'"${variable}"'[= ]' "$1"; then + continue + fi + printf '%s\n' "${line}" >> \ + "$1" +done |