config.sh: builtin grep!

This commit is contained in:
Ciro Santilli
2018-05-05 19:21:18 +01:00
parent c735790099
commit 22a7b9bf2b
2 changed files with 7 additions and 1 deletions

View File

@@ -2156,6 +2156,12 @@ or with our shortcut:
/conf.sh
....
or to conveniently grep for a specific option:
....
/conf.sh CONFIG_IKCONFIG
....
This is enabled by:
....