~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/scripts/config

Version: ~ [ linux-6.12-rc7 ] ~ [ linux-6.11.7 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.60 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.116 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.171 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.229 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.285 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.323 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.12 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

Diff markup

Differences between /scripts/config (Version linux-6.12-rc7) and /scripts/config (Version linux-4.14.336)


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

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php