"Das U-Boot" Source Tree

scripts/config: pick config script from kernel scripts

pulled from kernel tag v5.18

authored by

Milan P. Stanić and committed by
Tom Rini
1bacff9e 8602d97c

+230
+230
scripts/config
··· 1 + #!/usr/bin/env bash 2 + # SPDX-License-Identifier: GPL-2.0 3 + # Manipulate options in a .config file from the command line 4 + 5 + myname=${0##*/} 6 + 7 + # If no prefix forced, use the default CONFIG_ 8 + CONFIG_="${CONFIG_-CONFIG_}" 9 + 10 + # We use an uncommon delimiter for sed substitutions 11 + SED_DELIM=$(echo -en "\001") 12 + 13 + usage() { 14 + cat >&2 <<EOL 15 + Manipulate options in a .config file from the command line. 16 + Usage: 17 + $myname options command ... 18 + commands: 19 + --enable|-e option Enable option 20 + --disable|-d option Disable option 21 + --module|-m option Turn option into a module 22 + --set-str option string 23 + Set option to "string" 24 + --set-val option value 25 + Set option to value 26 + --undefine|-u option Undefine option 27 + --state|-s option Print state of option (n,y,m,undef) 28 + 29 + --enable-after|-E beforeopt option 30 + Enable option directly after other option 31 + --disable-after|-D beforeopt option 32 + Disable option directly after other option 33 + --module-after|-M beforeopt option 34 + Turn option into module directly after other option 35 + 36 + commands can be repeated multiple times 37 + 38 + options: 39 + --file config-file .config file to change (default .config) 40 + --keep-case|-k Keep next symbols' case (dont' upper-case it) 41 + 42 + $myname doesn't check the validity of the .config file. This is done at next 43 + make time. 44 + 45 + By default, $myname will upper-case the given symbol. Use --keep-case to keep 46 + the case of all following symbols unchanged. 47 + 48 + $myname uses 'CONFIG_' as the default symbol prefix. Set the environment 49 + variable CONFIG_ to the prefix to use. Eg.: CONFIG_="FOO_" $myname ... 50 + EOL 51 + exit 1 52 + } 53 + 54 + checkarg() { 55 + ARG="$1" 56 + if [ "$ARG" = "" ] ; then 57 + usage 58 + fi 59 + case "$ARG" in 60 + ${CONFIG_}*) 61 + ARG="${ARG/${CONFIG_}/}" 62 + ;; 63 + esac 64 + if [ "$MUNGE_CASE" = "yes" ] ; then 65 + ARG="`echo $ARG | tr a-z A-Z`" 66 + fi 67 + } 68 + 69 + txt_append() { 70 + local anchor="$1" 71 + local insert="$2" 72 + local infile="$3" 73 + local tmpfile="$infile.swp" 74 + 75 + # sed append cmd: 'a\' + newline + text + newline 76 + cmd="$(printf "a\\%b$insert" "\n")" 77 + 78 + sed -e "/$anchor/$cmd" "$infile" >"$tmpfile" 79 + # replace original file with the edited one 80 + mv "$tmpfile" "$infile" 81 + } 82 + 83 + txt_subst() { 84 + local before="$1" 85 + local after="$2" 86 + local infile="$3" 87 + local tmpfile="$infile.swp" 88 + 89 + sed -e "s$SED_DELIM$before$SED_DELIM$after$SED_DELIM" "$infile" >"$tmpfile" 90 + # replace original file with the edited one 91 + mv "$tmpfile" "$infile" 92 + } 93 + 94 + txt_delete() { 95 + local text="$1" 96 + local infile="$2" 97 + local tmpfile="$infile.swp" 98 + 99 + sed -e "/$text/d" "$infile" >"$tmpfile" 100 + # replace original file with the edited one 101 + mv "$tmpfile" "$infile" 102 + } 103 + 104 + set_var() { 105 + local name=$1 new=$2 before=$3 106 + 107 + name_re="^($name=|# $name is not set)" 108 + before_re="^($before=|# $before is not set)" 109 + if test -n "$before" && grep -Eq "$before_re" "$FN"; then 110 + txt_append "^$before=" "$new" "$FN" 111 + txt_append "^# $before is not set" "$new" "$FN" 112 + elif grep -Eq "$name_re" "$FN"; then 113 + txt_subst "^$name=.*" "$new" "$FN" 114 + txt_subst "^# $name is not set" "$new" "$FN" 115 + else 116 + echo "$new" >>"$FN" 117 + fi 118 + } 119 + 120 + undef_var() { 121 + local name=$1 122 + 123 + txt_delete "^$name=" "$FN" 124 + txt_delete "^# $name is not set" "$FN" 125 + } 126 + 127 + if [ "$1" = "--file" ]; then 128 + FN="$2" 129 + if [ "$FN" = "" ] ; then 130 + usage 131 + fi 132 + shift 2 133 + else 134 + FN=.config 135 + fi 136 + 137 + if [ "$1" = "" ] ; then 138 + usage 139 + fi 140 + 141 + MUNGE_CASE=yes 142 + while [ "$1" != "" ] ; do 143 + CMD="$1" 144 + shift 145 + case "$CMD" in 146 + --keep-case|-k) 147 + MUNGE_CASE=no 148 + continue 149 + ;; 150 + --refresh) 151 + ;; 152 + --*-after|-E|-D|-M) 153 + checkarg "$1" 154 + A=$ARG 155 + checkarg "$2" 156 + B=$ARG 157 + shift 2 158 + ;; 159 + -*) 160 + checkarg "$1" 161 + shift 162 + ;; 163 + esac 164 + case "$CMD" in 165 + --enable|-e) 166 + set_var "${CONFIG_}$ARG" "${CONFIG_}$ARG=y" 167 + ;; 168 + 169 + --disable|-d) 170 + set_var "${CONFIG_}$ARG" "# ${CONFIG_}$ARG is not set" 171 + ;; 172 + 173 + --module|-m) 174 + set_var "${CONFIG_}$ARG" "${CONFIG_}$ARG=m" 175 + ;; 176 + 177 + --set-str) 178 + # sed swallows one level of escaping, so we need double-escaping 179 + set_var "${CONFIG_}$ARG" "${CONFIG_}$ARG=\"${1//\"/\\\\\"}\"" 180 + shift 181 + ;; 182 + 183 + --set-val) 184 + set_var "${CONFIG_}$ARG" "${CONFIG_}$ARG=$1" 185 + shift 186 + ;; 187 + --undefine|-u) 188 + undef_var "${CONFIG_}$ARG" 189 + ;; 190 + 191 + --state|-s) 192 + if grep -q "# ${CONFIG_}$ARG is not set" $FN ; then 193 + echo n 194 + else 195 + V="$(grep "^${CONFIG_}$ARG=" $FN)" 196 + if [ $? != 0 ] ; then 197 + echo undef 198 + else 199 + V="${V/#${CONFIG_}$ARG=/}" 200 + V="${V/#\"/}" 201 + V="${V/%\"/}" 202 + V="${V//\\\"/\"}" 203 + echo "${V}" 204 + fi 205 + fi 206 + ;; 207 + 208 + --enable-after|-E) 209 + set_var "${CONFIG_}$B" "${CONFIG_}$B=y" "${CONFIG_}$A" 210 + ;; 211 + 212 + --disable-after|-D) 213 + set_var "${CONFIG_}$B" "# ${CONFIG_}$B is not set" "${CONFIG_}$A" 214 + ;; 215 + 216 + --module-after|-M) 217 + set_var "${CONFIG_}$B" "${CONFIG_}$B=m" "${CONFIG_}$A" 218 + ;; 219 + 220 + # undocumented because it ignores --file (fixme) 221 + --refresh) 222 + yes "" | make oldconfig 223 + ;; 224 + 225 + *) 226 + echo "bad command: $CMD" >&2 227 + usage 228 + ;; 229 + esac 230 + done