amiro-os / kernel / kernelsetup.sh @ 1678f270
History | View | Annotate | Download (29.834 KB)
| 1 | e545e620 | Thomas Schöpping | ################################################################################ |
|---|---|---|---|
| 2 | # AMiRo-OS is an operating system designed for the Autonomous Mini Robot # |
||
| 3 | # (AMiRo) platform. # |
||
| 4 | 1678f270 | Simon Welzel | # Copyright (C) 2016..2019 Thomas Schöpping et al. # |
| 5 | e545e620 | Thomas Schöpping | # # |
| 6 | # This program is free software: you can redistribute it and/or modify # |
||
| 7 | # it under the terms of the GNU General Public License as published by # |
||
| 8 | # the Free Software Foundation, either version 3 of the License, or # |
||
| 9 | # (at your option) any later version. # |
||
| 10 | # # |
||
| 11 | # This program is distributed in the hope that it will be useful, # |
||
| 12 | # but WITHOUT ANY WARRANTY; without even the implied warranty of # |
||
| 13 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # |
||
| 14 | # GNU General Public License for more details. # |
||
| 15 | # # |
||
| 16 | # You should have received a copy of the GNU General Public License # |
||
| 17 | # along with this program. If not, see <http://www.gnu.org/licenses/>. # |
||
| 18 | # # |
||
| 19 | # This research/work was supported by the Cluster of Excellence Cognitive # |
||
| 20 | # Interaction Technology 'CITEC' (EXC 277) at Bielefeld University, which is # |
||
| 21 | # funded by the German Research Foundation (DFG). # |
||
| 22 | ################################################################################ |
||
| 23 | |||
| 24 | #!/bin/bash |
||
| 25 | |||
| 26 | ################################################################################ |
||
| 27 | # GENERIC FUNCTIONS # |
||
| 28 | ################################################################################ |
||
| 29 | |||
| 30 | ### print an error message ##################################################### |
||
| 31 | # Prints a error <message> to standard output. |
||
| 32 | #If variable 'LOG_FILE' is specified, the message is also appended to the given file. |
||
| 33 | # |
||
| 34 | # usage: printError <message> |
||
| 35 | # arguments: <message> |
||
| 36 | # Message string to print. |
||
| 37 | # return: n/a |
||
| 38 | # |
||
| 39 | function printError {
|
||
| 40 | local string="ERROR: $1" |
||
| 41 | # if a log file is specified |
||
| 42 | if [ -n "$LOG_FILE" ]; then |
||
| 43 | printf "[$(date '+%Y-%m-%d %H:%M:%S')] $string" >> $LOG_FILE |
||
| 44 | fi |
||
| 45 | printf "$(tput setaf 1)>>> $string$(tput sgr 0)" 1>&2 |
||
| 46 | } |
||
| 47 | |||
| 48 | ### print a warning message #################################################### |
||
| 49 | # Prints a warning <message> to standard output. |
||
| 50 | #If variable 'LOG_FILE' is specified, the message is also appended to the given file. |
||
| 51 | # |
||
| 52 | # usage: printMessage <message> |
||
| 53 | # arguments: <message> |
||
| 54 | # Message string to print. |
||
| 55 | # return: n/a |
||
| 56 | # |
||
| 57 | function printWarning {
|
||
| 58 | local string="WARNING: $1" |
||
| 59 | # if a log file is specified |
||
| 60 | if [ -n "$LOG_FILE" ]; then |
||
| 61 | printf "[$(date '+%Y-%m-%d %H:%M:%S')] $string" >> $LOG_FILE |
||
| 62 | fi |
||
| 63 | printf "$(tput setaf 3)>>> $string$(tput sgr 0)" |
||
| 64 | } |
||
| 65 | |||
| 66 | ### print an information message ############################################### |
||
| 67 | # Prints an information <message> to standard output. |
||
| 68 | #If variable 'LOG_FILE' is specified, the message is also appended to the given file. |
||
| 69 | # |
||
| 70 | # usage: printInfo <message> |
||
| 71 | # arguments: <message> |
||
| 72 | # Message string to print. |
||
| 73 | # return: n/a |
||
| 74 | # |
||
| 75 | function printInfo {
|
||
| 76 | local string="INFO: $1" |
||
| 77 | # if a log file is specified |
||
| 78 | if [ -n "$LOG_FILE" ]; then |
||
| 79 | printf "[$(date '+%Y-%m-%d %H:%M:%S')] $string" >> $LOG_FILE |
||
| 80 | fi |
||
| 81 | printf "$(tput setaf 2)>>> $string$(tput sgr 0)" |
||
| 82 | } |
||
| 83 | |||
| 84 | ### print a message to file #################################################### |
||
| 85 | # Appends a <message> to a log file, specified by the variable 'LOG_FILE'. |
||
| 86 | # |
||
| 87 | # usage printLog <message> |
||
| 88 | # arguments: <message> |
||
| 89 | # Message string to print. |
||
| 90 | # return: n/a |
||
| 91 | # |
||
| 92 | function printLog {
|
||
| 93 | local string="LOG: $1" |
||
| 94 | # if a log file is specified |
||
| 95 | if [ -n "$LOG_FILE" ]; then |
||
| 96 | printf "[$(date '+%Y-%m-%d %H:%M:%S')] $string" >> $LOG_FILE |
||
| 97 | fi |
||
| 98 | } |
||
| 99 | |||
| 100 | ### exit the script normally ################################################### |
||
| 101 | # Prints a delimiter and exits the script normally (returns 0). |
||
| 102 | # |
||
| 103 | # usage: quitScript |
||
| 104 | # arguments: n/a |
||
| 105 | # return: 0 |
||
| 106 | # No error or warning occurred. |
||
| 107 | # |
||
| 108 | function quitScript {
|
||
| 109 | printInfo "exiting $(realpath ${BASH_SOURCE[0]})\n"
|
||
| 110 | printf "\n" |
||
| 111 | printf "######################################################################\n" |
||
| 112 | exit 0 |
||
| 113 | } |
||
| 114 | |||
| 115 | ### read a user input ########################################################## |
||
| 116 | # Reads a single character user input from a set up <options> and stores it in |
||
| 117 | # a given <return> variable. |
||
| 118 | # |
||
| 119 | # usage: readUserInput <options> <return> |
||
| 120 | # arguments: <options> |
||
| 121 | # String definiing the set of valid characters. |
||
| 122 | # If the string is empty, the user can input any character. |
||
| 123 | # <return> |
||
| 124 | # Variable to store the selected character to. |
||
| 125 | # return: n/a |
||
| 126 | # |
||
| 127 | function readUserInput {
|
||
| 128 | local input="" |
||
| 129 | # read user input |
||
| 130 | while [ -z $input ] || ( [ -n "$1" ] && [[ ! $input =~ ^[$1]$ ]] ); do |
||
| 131 | read -p "your selection: " -n 1 -e input |
||
| 132 | if [ -z $input ] || ( [ -n "$1" ] && [[ ! $input =~ ^[$1]$ ]] ); then |
||
| 133 | printWarning "[$input] is no valid action\n" |
||
| 134 | fi |
||
| 135 | done |
||
| 136 | printLog "[$input] has been selected\n" |
||
| 137 | eval $2="$input" |
||
| 138 | } |
||
| 139 | |||
| 140 | ### check whether argument is an option ######################################## |
||
| 141 | # Checks a <string> whether it is an option. |
||
| 142 | # Options are defined to either start with '--' followed by any string, or |
||
| 143 | # to start with a single '-' followed by a single character, or |
||
| 144 | # to start with a single '-' followed by a single character, a '=' and any string. |
||
| 145 | # Examples: '--option', '--option=arg', '-o', '-o=arg', '--' |
||
| 146 | # |
||
| 147 | # usage: parseIsOption <string> |
||
| 148 | # arguments: <string> |
||
| 149 | # A string to check whether it is an option. |
||
| 150 | # return: 0 |
||
| 151 | # <string> is an option. |
||
| 152 | # -1 |
||
| 153 | # <string> is not an option. |
||
| 154 | # |
||
| 155 | function parseIsOption {
|
||
| 156 | if [[ "$1" =~ ^-(.$|.=.*) ]] || [[ "$1" =~ ^--.* ]]; then |
||
| 157 | return 0 |
||
| 158 | else |
||
| 159 | return -1 |
||
| 160 | fi |
||
| 161 | } |
||
| 162 | |||
| 163 | ### set the log file ########################################################### |
||
| 164 | # Sets a specified <infile> as log file and checks whether it already exists. |
||
| 165 | # If so, the log may either be appended to the file, its content can be cleared, |
||
| 166 | # or no log is generated at all. |
||
| 167 | # The resulting path is stored in <outvar>. |
||
| 168 | # |
||
| 169 | # usage: setLogFile [--option=<option>] [--quiet] <infile> <outvar> |
||
| 170 | # arguments: --option=<option> |
||
| 171 | # Select what to do if <file> already exists. |
||
| 172 | # Possible values are 'a', 'c', 'r' and 'n'. |
||
| 173 | # - a: append (starts with a separator) |
||
| 174 | # - c: continue (does not insert a seperator) |
||
| 175 | # - r: delete and restart |
||
| 176 | # - n: no log |
||
| 177 | # If no option is secified but <file> exists, an interactive selection is provided. |
||
| 178 | # --quiet |
||
| 179 | # Suppress all messages. |
||
| 180 | # <infile> |
||
| 181 | # Path of the wanted log file. |
||
| 182 | # <outvar> |
||
| 183 | # Variable to store the path of the log file to. |
||
| 184 | # return: 0 |
||
| 185 | # No error or warning occurred. |
||
| 186 | # -1 |
||
| 187 | # Error: invalid input |
||
| 188 | # |
||
| 189 | function setLogFile {
|
||
| 190 | local filepath="" |
||
| 191 | local option="" |
||
| 192 | local quiet=false |
||
| 193 | |||
| 194 | # parse arguments |
||
| 195 | local otherargs=() |
||
| 196 | while [ $# -gt 0 ]; do |
||
| 197 | if ( parseIsOption $1 ); then |
||
| 198 | case "$1" in |
||
| 199 | -o=*|--option=*) |
||
| 200 | option=${1#*=}; shift 1;;
|
||
| 201 | -o*|--option*) |
||
| 202 | option="$2"; shift 2;; |
||
| 203 | -q|--quiet) |
||
| 204 | quiet=true; shift 1;; |
||
| 205 | *) |
||
| 206 | printError "invalid option: $1\n"; shift 1;; |
||
| 207 | esac |
||
| 208 | else |
||
| 209 | otherargs+=("$1")
|
||
| 210 | shift 1 |
||
| 211 | fi |
||
| 212 | done |
||
| 213 | filepath=$(realpath ${otherargs[0]})
|
||
| 214 | |||
| 215 | # if file already exists |
||
| 216 | if [ -e $filepath ]; then |
||
| 217 | # if no option was specified, ask what to do |
||
| 218 | if [ -z "$option" ]; then |
||
| 219 | printWarning "log file $filepath already esists\n" |
||
| 220 | local userinput="" |
||
| 221 | printf "Select what to do:\n" |
||
| 222 | printf " [A] - append log\n" |
||
| 223 | printf " [R] - restart log (delete existing file)\n" |
||
| 224 | printf " [N] - no log\n" |
||
| 225 | readUserInput "AaRrNn" userinput |
||
| 226 | option=${userinput,,}
|
||
| 227 | fi |
||
| 228 | # evaluate option |
||
| 229 | case "$option" in |
||
| 230 | a|c) |
||
| 231 | if [ $quiet = false ]; then |
||
| 232 | printInfo "appending log to $filepath\n" |
||
| 233 | fi |
||
| 234 | if [ $option != c ]; then |
||
| 235 | printf "\n" >> $filepath |
||
| 236 | printf "######################################################################\n" >> $filepath |
||
| 237 | printf "\n" >> $filepath |
||
| 238 | fi |
||
| 239 | ;; |
||
| 240 | r) |
||
| 241 | echo -n "" > $filepath |
||
| 242 | if [ $quiet = false ]; then |
||
| 243 | printInfo "content of $filepath wiped\n" |
||
| 244 | fi |
||
| 245 | ;; |
||
| 246 | n) |
||
| 247 | if [ $quiet = false ]; then |
||
| 248 | printInfo "no log file will be generated\n" |
||
| 249 | fi |
||
| 250 | filepath="" |
||
| 251 | ;; |
||
| 252 | *) # sanity check (return error) |
||
| 253 | printError "unexpected argument: $option\n"; return -1;; |
||
| 254 | esac |
||
| 255 | else |
||
| 256 | if [ $quiet = false ]; then |
||
| 257 | printInfo "log file set to $filepath\n" |
||
| 258 | fi |
||
| 259 | fi |
||
| 260 | |||
| 261 | eval ${otherargs[1]}="$filepath"
|
||
| 262 | |||
| 263 | return 0 |
||
| 264 | } |
||
| 265 | |||
| 266 | 1678f270 | Simon Welzel | ### check whether commands are available ####################################### |
| 267 | # Checks whether the specified commands are available and can be executed. |
||
| 268 | # |
||
| 269 | # usage: checkCommand [<command> <command> ...] |
||
| 270 | # arguments: <command> |
||
| 271 | # Name of the command to check. |
||
| 272 | # return: 0 |
||
| 273 | # All requested commands are available. |
||
| 274 | # >0 |
||
| 275 | # Number of requested commands that were not found. |
||
| 276 | # -1 |
||
| 277 | # No argument given. |
||
| 278 | # |
||
| 279 | function checkCommands {
|
||
| 280 | local status=0 |
||
| 281 | |||
| 282 | # return if no argument was specified |
||
| 283 | if [ $# -eq 0 ]; then |
||
| 284 | return -1 |
||
| 285 | fi |
||
| 286 | |||
| 287 | # check all specified commands |
||
| 288 | while [ $# -gt 0 ]; do |
||
| 289 | command -v $1 &>/dev/null |
||
| 290 | if [ $? -ne 0 ]; then |
||
| 291 | printWarning "Command '$1' not available.\n" |
||
| 292 | status=$((status + 1)) |
||
| 293 | fi |
||
| 294 | shift 1 |
||
| 295 | done |
||
| 296 | |||
| 297 | return $status |
||
| 298 | } |
||
| 299 | |||
| 300 | e545e620 | Thomas Schöpping | ################################################################################ |
| 301 | # SPECIFIC FUNCTIONS # |
||
| 302 | ################################################################################ |
||
| 303 | |||
| 304 | ### print welcome text ######################################################### |
||
| 305 | # Prints a welcome message to standard out. |
||
| 306 | # |
||
| 307 | # usage: printWelcomeText |
||
| 308 | # arguments: n/a |
||
| 309 | # return: n/a |
||
| 310 | # |
||
| 311 | function printWelcomeText {
|
||
| 312 | printf "######################################################################\n" |
||
| 313 | printf "# #\n" |
||
| 314 | printf "# Welcome to the ChibiOS submodule setup! #\n" |
||
| 315 | printf "# #\n" |
||
| 316 | printf "######################################################################\n" |
||
| 317 | printf "# #\n" |
||
| 318 | 1678f270 | Simon Welzel | printf "# Copyright (c) 2016..2019 Thomas Schöpping #\n" |
| 319 | e545e620 | Thomas Schöpping | printf "# #\n" |
| 320 | printf "# This is free software; see the source for copying conditions. #\n" |
||
| 321 | printf "# There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR #\n" |
||
| 322 | printf "# A PARTICULAR PURPOSE. The development of this software was #\n" |
||
| 323 | printf "# supported by the Excellence Cluster EXC 227 Cognitive Interaction #\n" |
||
| 324 | printf "# Technology. The Excellence Cluster EXC 227 is a grant of the #\n" |
||
| 325 | printf "# Deutsche Forschungsgemeinschaft (DFG) in the context of the German #\n" |
||
| 326 | printf "# Excellence Initiative. #\n" |
||
| 327 | printf "# #\n" |
||
| 328 | printf "######################################################################\n" |
||
| 329 | } |
||
| 330 | |||
| 331 | ### print help ################################################################# |
||
| 332 | # Prints a help text to standard out. |
||
| 333 | # |
||
| 334 | # usage: printHelp |
||
| 335 | # arguments: n/a |
||
| 336 | # return: n/a |
||
| 337 | # |
||
| 338 | function printHelp {
|
||
| 339 | printInfo "printing help text\n" |
||
| 340 | printf "usage: $(basename ${BASH_SOURCE[0]}) [-h|--help] [-i|--init] [-p|--patch] [-d|--documentation=<option>] [-w|--wipe] [-q|--quit] [--log=<file>]\n"
|
||
| 341 | printf "options: -h, --help\n" |
||
| 342 | printf " Print this help text.\n" |
||
| 343 | printf " -i, --init\n" |
||
| 344 | printf " Initialize ChibiOS submodule.\n" |
||
| 345 | printf " -p, --patch,\n" |
||
| 346 | printf " Apply patches to CHibiOS.\n" |
||
| 347 | printf " -d, --documentation <option>\n" |
||
| 348 | printf " Possible options are: 'g' and 'o' (can be combined).\n" |
||
| 349 | printf " - g: Generate HTML documentation of ChibiOS.\n" |
||
| 350 | printf " - o: Open HTML documentation of ChibiOS.\n" |
||
| 351 | printf " -w, --wipe\n" |
||
| 352 | printf " Wipe ChibiOS submodule.\n" |
||
| 353 | printf " -q, --quit\n" |
||
| 354 | printf " Quit the script.\n" |
||
| 355 | printf " --log=<file>\n" |
||
| 356 | printf " Specify a log file.\n" |
||
| 357 | } |
||
| 358 | |||
| 359 | ### initialize ChibiOS submodule ############################################### |
||
| 360 | # Initializes the ChibiOS Git submodule. |
||
| 361 | # |
||
| 362 | # usage: initChibiOS |
||
| 363 | # arguments: n/a |
||
| 364 | # return: 0 |
||
| 365 | # No error or warning occurred. |
||
| 366 | # 1 |
||
| 367 | # Warning: Aborted by user. |
||
| 368 | # -1 |
||
| 369 | # Error: Unexpected user input. |
||
| 370 | 1678f270 | Simon Welzel | # -1 |
| 371 | # Error: Missing dependency. |
||
| 372 | e545e620 | Thomas Schöpping | # |
| 373 | function initChibiOS {
|
||
| 374 | printInfo "initializing ChibiOS submodule...\n" |
||
| 375 | local userdir=$(pwd) |
||
| 376 | local kerneldir=$(dirname $(realpath ${BASH_SOURCE[0]}))
|
||
| 377 | local chibiosdir=${kerneldir}/ChibiOS
|
||
| 378 | |||
| 379 | # if the kernel folder is not empty |
||
| 380 | if [ ! -z "$(ls -A $chibiosdir)" ]; then |
||
| 381 | printWarning "$chibiosdir is not empty. Delete and reinitialize? [y/n]\n" |
||
| 382 | local userinput="" |
||
| 383 | readUserInput "YyNn" userinput |
||
| 384 | case "$userinput" in |
||
| 385 | Y|y) |
||
| 386 | wipeChibiOS |
||
| 387 | ;; |
||
| 388 | N|n) |
||
| 389 | printWarning "ChibiOS initialization aborted by user\n" |
||
| 390 | return 1 |
||
| 391 | ;; |
||
| 392 | *) # sanity check (return error) |
||
| 393 | printError "unexpected input: $userinput\n"; return -1;; |
||
| 394 | esac |
||
| 395 | fi |
||
| 396 | |||
| 397 | 1678f270 | Simon Welzel | # check dependencies |
| 398 | checkCommands git |
||
| 399 | if [ $? -ne 0 ]; then |
||
| 400 | printError "Missing dependencies detected.\n" |
||
| 401 | return -2 |
||
| 402 | fi |
||
| 403 | |||
| 404 | e545e620 | Thomas Schöpping | # initialize submodule to default branch |
| 405 | cd $kerneldir |
||
| 406 | git submodule update --init $chibiosdir 2>&1 | tee -a $LOG_FILE |
||
| 407 | while [ ${PIPESTATUS[0]} -ne 0 ]; do
|
||
| 408 | printWarning "initialitaion failed. Retry? [y/n]\n" |
||
| 409 | local userinput="" |
||
| 410 | readUserInput "YyNn" userinput |
||
| 411 | case "$userinput" in |
||
| 412 | Y|y) |
||
| 413 | git submodule update --init $chibiosdir 2>&1 | tee -a $LOG_FILE;; |
||
| 414 | N|n) |
||
| 415 | printWarning "ChibiOS initialization aborted by user\n" |
||
| 416 | cd $userdir |
||
| 417 | return 1 |
||
| 418 | ;; |
||
| 419 | *) # sanity check (return error) |
||
| 420 | printError "unexpected input: $userinput\n"; return -1;; |
||
| 421 | esac |
||
| 422 | done |
||
| 423 | cd $userdir |
||
| 424 | |||
| 425 | return 0 |
||
| 426 | } |
||
| 427 | |||
| 428 | ### patch ChibiOS ############################################################## |
||
| 429 | # Applies patches to ChibiOS submodule. |
||
| 430 | # |
||
| 431 | # usage: patchChibiOS |
||
| 432 | # arguments: n/a |
||
| 433 | # return: 0 |
||
| 434 | # No error or warning occurred. |
||
| 435 | # 1 |
||
| 436 | # Warning: ChibiOS not initialized yet. |
||
| 437 | # 2 |
||
| 438 | # Warning: Setup aborted by user. |
||
| 439 | # -1 |
||
| 440 | # Error: Unexpected user input. |
||
| 441 | # |
||
| 442 | function patchChibiOS {
|
||
| 443 | printInfo "applying patches to ChibiOS\n" |
||
| 444 | local userdir=$(pwd) |
||
| 445 | local kerneldir=$(dirname $(realpath ${BASH_SOURCE[0]}))
|
||
| 446 | local chibiosdir=${kerneldir}/ChibiOS
|
||
| 447 | local git_branch_patched="AMiRo-OS" |
||
| 448 | |||
| 449 | 1678f270 | Simon Welzel | # check dependencies |
| 450 | checkCommands git |
||
| 451 | if [ $? -ne 0 ]; then |
||
| 452 | printError "Missing dependencies detected.\n" |
||
| 453 | return -2 |
||
| 454 | fi |
||
| 455 | |||
| 456 | e545e620 | Thomas Schöpping | # if the ChibiOS folder is empty |
| 457 | if [ -z "$(ls -A $chibiosdir)" ]; then |
||
| 458 | printWarning "$chibiosdir is empty. Please initialize first.\n" |
||
| 459 | return 1 |
||
| 460 | else |
||
| 461 | # get some information from Git |
||
| 462 | cd $chibiosdir |
||
| 463 | local git_branch_current=$(git rev-parse --abbrev-ref HEAD) |
||
| 464 | local git_branches=$(git for-each-ref --format="%(refname)") |
||
| 465 | local git_dirtyfiles=($(git ls-files -dmo --exclude-standard --exclude=/doc)) |
||
| 466 | cd $userdir |
||
| 467 | |||
| 468 | local issues=0 |
||
| 469 | # if the current branch is already $git_branch_patched |
||
| 470 | if [ "$git_branch_current" = "$git_branch_patched" ]; then |
||
| 471 | issues=$((issues + 1)) |
||
| 472 | printWarning "current branch is already $git_branch_patched\n" |
||
| 473 | fi |
||
| 474 | # if the current branch is bot $git_branch_patched, but another branch $git_branch_patched already exists |
||
| 475 | if [ "$git_branch_current" != "$git_branch_patched" ] && [[ "$git_branches" = *"$git_branch_patched"* ]]; then |
||
| 476 | issues=$((issues + 1)) |
||
| 477 | printWarning "another branch $git_branch_patched already exists\n" |
||
| 478 | fi |
||
| 479 | # if there are untracked, modified, or deleted files |
||
| 480 | if [ ${#git_dirtyfiles[@]} != 0 ]; then
|
||
| 481 | issues=$((issues + 1)) |
||
| 482 | printWarning "there are ${#git_dirtyfiles[@]} untracked, modified, or deleted files\n"
|
||
| 483 | fi |
||
| 484 | if [ $issues -gt 0 ]; then |
||
| 485 | local userinput="" |
||
| 486 | printWarning "$issues issues detected. Do you want to continue? [y/n]\n" |
||
| 487 | readUserInput "YyNn" userinput |
||
| 488 | case "$userinput" in |
||
| 489 | Y|y) |
||
| 490 | ;; |
||
| 491 | N|n) |
||
| 492 | printfWarning "ChibiOS patching aborted by user\n" |
||
| 493 | return 2 |
||
| 494 | ;; |
||
| 495 | *) # sanity check (return error) |
||
| 496 | printError "unexpected input: $userinput\n"; return -1;; |
||
| 497 | esac |
||
| 498 | fi |
||
| 499 | |||
| 500 | # create a new branch and apply the patches |
||
| 501 | local patches=${kerneldir}/patches/*.patch
|
||
| 502 | cd $chibiosdir |
||
| 503 | git checkout -b "$git_branch_patched" 2>&1 | tee -a $LOG_FILE |
||
| 504 | for patch in $patches; do |
||
| 505 | cp $patch . |
||
| 506 | patch=$(basename $patch) |
||
| 507 | 75d6970a | Thomas Schöpping | git apply --whitespace=nowarn --ignore-space-change --ignore-whitespace < $patch 2>&1 | tee -a $LOG_FILE |
| 508 | e545e620 | Thomas Schöpping | rm $patch |
| 509 | # # These lines are disabled for safety reasons: |
||
| 510 | # # Filed commits are detected as valid changes by the super-project. |
||
| 511 | # # This may lead to errorneous updates of the super-project, as to point to one of these commit hashes. |
||
| 512 | # # Since these commits are not pushed upstream, initialization of the super-project will therefore fail, because |
||
| 513 | # # the referenced hashed (after patching) do not exist in a clean copy of this sub-project. |
||
| 514 | # git add $(git ls-files -dmo --exclude-standard --exclude=/doc) $(git diff --name-only) 2>&1 | tee -a $LOG_FILE |
||
| 515 | # git commit --message="$patch applied" 2>&1 | tee -a $LOG_FILE |
||
| 516 | done |
||
| 517 | cd $userdir |
||
| 518 | |||
| 519 | return 0 |
||
| 520 | fi |
||
| 521 | } |
||
| 522 | |||
| 523 | ### ChibiOS dcoumentation setup ################################################ |
||
| 524 | # |
||
| 525 | # usage: documentation [<option>] |
||
| 526 | # arguments: <option> |
||
| 527 | # Can be either 'g' or 'o' to generate or open HTML documentation respectively. |
||
| 528 | # return: 0 |
||
| 529 | # No error or warning occurred. |
||
| 530 | # 1 |
||
| 531 | # Warning: Kernel not nitialized yet. |
||
| 532 | # 2 |
||
| 533 | # Warning: Setup aborted by user. |
||
| 534 | # 3 |
||
| 535 | # Warning: Issues occurred. |
||
| 536 | # -1 |
||
| 537 | # Error: Unexpected user input. |
||
| 538 | # |
||
| 539 | function documentation {
|
||
| 540 | local userdir=$(pwd) |
||
| 541 | local kerneldir=$(dirname $(realpath ${BASH_SOURCE[0]}))
|
||
| 542 | local chibiosdir=${kerneldir}/ChibiOS
|
||
| 543 | |||
| 544 | # if the ChibiOS folder is empty |
||
| 545 | if [ -z "$(ls -A $chibiosdir)" ]; then |
||
| 546 | printWarning "$chibiosdir is empty. Please initialize first.\n" |
||
| 547 | return 1 |
||
| 548 | else |
||
| 549 | local option=""; |
||
| 550 | # if no argument was specified, ask what to do |
||
| 551 | if [ $# -eq 0 ]; then |
||
| 552 | printInfo "ChibiOS documentation setup\n" |
||
| 553 | printf "Please select one of the following actions:\n" |
||
| 554 | printf " [G] - generate HTML documentation\n" |
||
| 555 | printf " [O] - open HTML documentation\n" |
||
| 556 | printf " [A] - abort this setup\n" |
||
| 557 | local userinput |
||
| 558 | readUserInput "GgOoAa" userinput |
||
| 559 | option=${userinput,,}
|
||
| 560 | if [ $option = "a" ]; then |
||
| 561 | printInfo "ChibiOS documentation setup aborted by user\n" |
||
| 562 | return 2 |
||
| 563 | fi |
||
| 564 | else |
||
| 565 | option="$1" |
||
| 566 | fi |
||
| 567 | |||
| 568 | local issues=0 |
||
| 569 | case "$option" in |
||
| 570 | # generate HTML documentation |
||
| 571 | g) |
||
| 572 | # ChibiOS/HAL: check if required files exis |
||
| 573 | if [ -f ${chibiosdir}/doc/hal/makehtml.sh ]; then
|
||
| 574 | printInfo "generating ChibiOS/HAL documentation...\n" |
||
| 575 | cd ${chibiosdir}/doc/hal
|
||
| 576 | ${chibiosdir}/doc/hal/makehtml.sh 2>&1 | tee -a $LOG_FILE
|
||
| 577 | cd $userdir |
||
| 578 | printInfo "access ChibiOS/HAL documentation via ${chibiosdir}doc/hal/html/index.html\n"
|
||
| 579 | else |
||
| 580 | issues=$((issues + 1)) |
||
| 581 | printError "could not generate ChibiOS/HAL documentation\n" |
||
| 582 | fi |
||
| 583 | # ChibiOS/RT: check if required files exis |
||
| 584 | if [ -f ${chibiosdir}/doc/rt/makehtml.sh ]; then
|
||
| 585 | printInfo "generating ChibiOS/RT documentation...\n" |
||
| 586 | cd ${chibiosdir}/doc/rt
|
||
| 587 | ${chibiosdir}/doc/rt/makehtml.sh 2>&1 | tee -a $LOG_FILE
|
||
| 588 | cd $userdir |
||
| 589 | printInfo "access ChibiOS/RT documentation via ${chibiosdir}doc/rt/html/index.html\n"
|
||
| 590 | else |
||
| 591 | issues=$((issues + 1)) |
||
| 592 | printError "could not generate ChibiOS/RT documentation\n" |
||
| 593 | fi |
||
| 594 | # ChibiOS/NIL: check if required files exis |
||
| 595 | if [ -f ${chibiosdir}/doc/nil/makehtml.sh ]; then
|
||
| 596 | printInfo "generating ChibiOS/NIL documentation...\n" |
||
| 597 | cd ${chibiosdir}/doc/nil
|
||
| 598 | ${chibiosdir}/doc/nil/makehtml.sh 2>&1 | tee -a $LOG_FILE
|
||
| 599 | cd $userdir |
||
| 600 | printInfo "access ChibiOS/NIL documentation via ${chibiosdir}edoc/nil/html/index.html\n"
|
||
| 601 | else |
||
| 602 | issues=$((issues + 1)) |
||
| 603 | printError "could not generate ChibiOS/NIL documentation\n" |
||
| 604 | fi |
||
| 605 | ;; |
||
| 606 | |||
| 607 | # open HTML documentation |
||
| 608 | o) |
||
| 609 | # ChibiOS/HAL: check if required files exis |
||
| 610 | if [ -f ${chibiosdir}/doc/hal/html/index.html ]; then
|
||
| 611 | printInfo "open ChibiOS/HAL documentation\n" |
||
| 612 | xdg-open ${chibiosdir}/doc/hal/html/index.html &> /dev/null &
|
||
| 613 | else |
||
| 614 | issues=$((issues + 1)) |
||
| 615 | printError "could not open ChibiOS/HAL documentation\n" |
||
| 616 | fi |
||
| 617 | # ChibiOS/RT: check if required files exis |
||
| 618 | if [ -f ${chibiosdir}/doc/rt/html/index.html ]; then
|
||
| 619 | printInfo "open ChibiOS/RT documentation\n" |
||
| 620 | xdg-open ${chibiosdir}/doc/rt/html/index.html &> /dev/null &
|
||
| 621 | else |
||
| 622 | issues=$((issues + 1)) |
||
| 623 | printError "could not open ChibiOS/RT documentation\n" |
||
| 624 | fi |
||
| 625 | # ChibiOS/NIL: check if required files exis |
||
| 626 | if [ -f ${chibiosdir}/doc/nil/html/index.html ]; then
|
||
| 627 | printInfo "open ChibiOS/NIL documentation\n" |
||
| 628 | xdg-open ${chibiosdir}/doc/nil/html/index.html &> /dev/null &
|
||
| 629 | else |
||
| 630 | issues=$((issues + 1)) |
||
| 631 | printError "could not open ChibiOS/NIL documentation\n" |
||
| 632 | fi |
||
| 633 | ;; |
||
| 634 | |||
| 635 | *) # sanity check (return error) |
||
| 636 | printError "unexpected input: $userinput\n"; return -1;; |
||
| 637 | esac |
||
| 638 | |||
| 639 | if [ $issues -gt 0 ]; then |
||
| 640 | return 3 |
||
| 641 | else |
||
| 642 | return 0 |
||
| 643 | fi |
||
| 644 | fi |
||
| 645 | } |
||
| 646 | |||
| 647 | ### reset ChibiOS submodule and wipe directory ################################# |
||
| 648 | # Resets the ChibiOS Git submodule and wipes the directory. |
||
| 649 | # |
||
| 650 | # usage: wipeChibiOS |
||
| 651 | # arguments: n/a |
||
| 652 | # return: 0 |
||
| 653 | # No error or warning occurred. |
||
| 654 | # 1 |
||
| 655 | # Warning: Submodule directory is already empty. |
||
| 656 | # 2 |
||
| 657 | # Warning: Wiping aborted by user. |
||
| 658 | # -1 |
||
| 659 | # Error: Unexpected user input. |
||
| 660 | # |
||
| 661 | function wipeChibiOS {
|
||
| 662 | printInfo "reset and wipe Git submodule $kerneldir\n" |
||
| 663 | local userdir=$(pwd) |
||
| 664 | local kerneldir=$(dirname $(realpath ${BASH_SOURCE[0]}))
|
||
| 665 | local chibiosdir=${kerneldir}/ChibiOS
|
||
| 666 | local git_branch_patched="AMiRo-OS" |
||
| 667 | |||
| 668 | 1678f270 | Simon Welzel | # check dependencies |
| 669 | checkCommands git |
||
| 670 | if [ $? -ne 0 ]; then |
||
| 671 | printError "Missing dependencies detected.\n" |
||
| 672 | return -2 |
||
| 673 | fi |
||
| 674 | |||
| 675 | e545e620 | Thomas Schöpping | # if the ChibiOS folder is empty |
| 676 | if [ -z "$(ls -A $chibiosdir)" ]; then |
||
| 677 | printInfo "$chibiosdir is alread empty\n" |
||
| 678 | return 1 |
||
| 679 | else |
||
| 680 | # get some information from Git |
||
| 681 | cd $kerneldir |
||
| 682 | local git_basehash=($(git ls-tree -d HEAD $kerneldir)); git_basehash=${git_basehash[2]}
|
||
| 683 | cd $chibiosdir |
||
| 684 | local git_branch_current=$(git rev-parse --abbrev-ref HEAD) |
||
| 685 | local git_difftobase="$(git diff ${git_basehash}..HEAD)"
|
||
| 686 | local git_commits=$(git log --format=oneline ${git_basehash}..HEAD)
|
||
| 687 | local git_dirtyfiles=($(git ls-files -dmo --exclude-standard --exclude=/doc)) |
||
| 688 | cd $userdir |
||
| 689 | local issues=0 |
||
| 690 | # if the HEAD is neither detached, nor is the current branch $git_branch_patched |
||
| 691 | if [ "$git_branch_current" != "HEAD" ] && [ "$git_branch_current" != "$git_branch_patched" ]; then |
||
| 692 | issues=$((issues + 1)) |
||
| 693 | printWarning "modifications to ChibiOS Git submodule detected\n" |
||
| 694 | fi |
||
| 695 | # if HEAD is ahead of submodule base commit but with more than just applied patches |
||
| 696 | if [ -n "$git_difftobase" ] && [ -n "$(echo $git_commits | grep -Ev '\.patch applied$')" ]; then |
||
| 697 | issues=$((issues + 1)) |
||
| 698 | printWarning "HEAD is ahead of submodule base by unexpected commits\n" |
||
| 699 | fi |
||
| 700 | # if there are untracked, modified, or deleted files |
||
| 701 | if [ ${#git_dirtyfiles[@]} != 0 ]; then
|
||
| 702 | issues=$((issues + 1)) |
||
| 703 | printWarning "there are ${#git_dirtyfiles[@]} untracked, modified, or deleted files\n"
|
||
| 704 | fi |
||
| 705 | if [ $issues -gt 0 ]; then |
||
| 706 | local userinput="" |
||
| 707 | printWarning "$issues issues detected. Do you want to continue? [y/n]\n" |
||
| 708 | readUserInput "YyNn" userinput |
||
| 709 | case "$userinput" in |
||
| 710 | Y|y) |
||
| 711 | ;; |
||
| 712 | N|n) |
||
| 713 | printfWarning "wiping ChibiOS Git submodule aborted by user\n" |
||
| 714 | return 2 |
||
| 715 | ;; |
||
| 716 | *) # sanity check (return error) |
||
| 717 | printError "unexpected input: $userinput\n"; return -1;; |
||
| 718 | esac |
||
| 719 | fi |
||
| 720 | |||
| 721 | # checkout base commit and delete all local branches |
||
| 722 | cd $kerneldir |
||
| 723 | git submodule update --force --checkout $kerneldir | tee -a $LOG_FILE |
||
| 724 | cd $chibiosdir |
||
| 725 | local git_branches=($(git for-each-ref --format="%(refname)")) |
||
| 726 | for branch in $git_branches; do |
||
| 727 | if [[ $branch = *"heads/"* ]]; then |
||
| 728 | git branch -D ${branch##*/} | tee -a $LOG_FILE
|
||
| 729 | fi |
||
| 730 | done |
||
| 731 | cd $userdir |
||
| 732 | |||
| 733 | # deinitialize ChibiOS submodule and delete any remaining files |
||
| 734 | cd $kerneldir |
||
| 735 | git submodule deinit -f $chibiosdir 2>&1 | tee -a $LOG_FILE |
||
| 736 | rm -rf $chibiosdir/* |
||
| 737 | cd $userdir |
||
| 738 | |||
| 739 | return 0 |
||
| 740 | fi |
||
| 741 | } |
||
| 742 | |||
| 743 | ### main function of this script ############################################### |
||
| 744 | # The kernel setup provides comfortable initialization, patching, documentation |
||
| 745 | # generation and cleanup for ChibiOS. |
||
| 746 | # |
||
| 747 | # usage: see function printHelp |
||
| 748 | # arguments: see function printHelp |
||
| 749 | # return: 0 |
||
| 750 | # No error or warning occurred. |
||
| 751 | # |
||
| 752 | function main {
|
||
| 753 | # print welcome/info text if not suppressed |
||
| 754 | if [[ $@ != *"--noinfo"* ]]; then |
||
| 755 | printWelcomeText |
||
| 756 | else |
||
| 757 | printf "######################################################################\n" |
||
| 758 | fi |
||
| 759 | printf "\n" |
||
| 760 | |||
| 761 | # if --help or -h was specified, print the help text and exit |
||
| 762 | if [[ $@ == *"--help"* || $@ == *"-h"* ]]; then |
||
| 763 | printHelp |
||
| 764 | printf "\n" |
||
| 765 | quitScript |
||
| 766 | fi |
||
| 767 | |||
| 768 | # set log file if specified |
||
| 769 | if [[ $@ == *"--log"* ]] || [[ $@ == *"--LOG"* ]]; then |
||
| 770 | # get the parameter (file name) |
||
| 771 | local cmdidx=1 |
||
| 772 | while [[ ! "${!cmdidx}" = "--log"* ]] && [[ ! "${!cmdidx}" = "--LOG"* ]]; do
|
||
| 773 | cmdidx=$[cmdidx + 1] |
||
| 774 | done |
||
| 775 | local cmd="${!cmdidx}"
|
||
| 776 | local logfile="" |
||
| 777 | if [[ "$cmd" = "--log="* ]] || [[ "$cmd" = "--LOG="* ]]; then |
||
| 778 | logfile=${cmd#*=}
|
||
| 779 | else |
||
| 780 | local filenameidx=$((cmdidx + 1)) |
||
| 781 | logfile="${!filenameidx}"
|
||
| 782 | fi |
||
| 783 | # optionally force silent appending |
||
| 784 | if [[ "$cmd" = "--LOG"* ]]; then |
||
| 785 | setLogFile --option=c --quiet "$logfile" LOG_FILE |
||
| 786 | else |
||
| 787 | setLogFile "$logfile" LOG_FILE |
||
| 788 | printf "\n" |
||
| 789 | fi |
||
| 790 | fi |
||
| 791 | # log script name |
||
| 792 | printLog "this is $(realpath ${BASH_SOURCE[0]})\n"
|
||
| 793 | |||
| 794 | # parse arguments |
||
| 795 | local otherargs=() |
||
| 796 | while [ $# -gt 0 ]; do |
||
| 797 | if ( parseIsOption $1 ); then |
||
| 798 | case "$1" in |
||
| 799 | -h|--help) # already handled; ignore |
||
| 800 | shift 1;; |
||
| 801 | -i|--init) |
||
| 802 | initChibiOS; printf "\n"; shift 1;; |
||
| 803 | -p|--patch) |
||
| 804 | patchChibiOS; printf "\n"; shift 1;; |
||
| 805 | -d=*|--documentation=*) |
||
| 806 | documentation "${1#*=}"; printf "\n"; shift 1;;
|
||
| 807 | -d|--documentation) |
||
| 808 | if ( ! parseIsOption $2 ); then |
||
| 809 | documentation "$2"; printf "\n"; shift 2 |
||
| 810 | else |
||
| 811 | documentation; printf "\n"; shift 1 |
||
| 812 | fi;; |
||
| 813 | -w|--wipe) |
||
| 814 | wipeChibiOS; printf "\n"; shift 1;; |
||
| 815 | -q|--quit) |
||
| 816 | quitScript; shift 1;; |
||
| 817 | --log=*|--LOG=*) # already handled; ignore |
||
| 818 | shift 1;; |
||
| 819 | --log|--LOG) # already handled; ignore |
||
| 820 | shift 2;; |
||
| 821 | --noinfo) # already handled; ignore |
||
| 822 | shift 1;; |
||
| 823 | *) |
||
| 824 | printError "invalid option: $1\n"; shift 1;; |
||
| 825 | esac |
||
| 826 | else |
||
| 827 | otherargs+=("$1")
|
||
| 828 | shift 1 |
||
| 829 | fi |
||
| 830 | done |
||
| 831 | |||
| 832 | # interactive menu |
||
| 833 | while ( true ); do |
||
| 834 | # main menu info prompt and selection |
||
| 835 | printInfo "ChibiOS kernel setup main menu\n" |
||
| 836 | printf "Please select one of the following actions:\n" |
||
| 837 | printf " [I] - initialize ChibiOS submodule\n" |
||
| 838 | printf " [P] - apply patches to ChibiOS\n" |
||
| 839 | printf " [D] - generate or open HTML documentation\n" |
||
| 840 | printf " [W] - wipe ChibiOS submodule\n" |
||
| 841 | printf " [Q] - quit this setup\n" |
||
| 842 | local userinput="" |
||
| 843 | readUserInput "IiPpDdWwQq" userinput |
||
| 844 | printf "\n" |
||
| 845 | |||
| 846 | # evaluate user selection |
||
| 847 | case "$userinput" in |
||
| 848 | I|i) |
||
| 849 | initChibiOS; printf "\n";; |
||
| 850 | P|p) |
||
| 851 | patchChibiOS; printf "\n";; |
||
| 852 | D|d) |
||
| 853 | documentation; printf "\n";; |
||
| 854 | W|w) |
||
| 855 | wipeChibiOS; printf "\n";; |
||
| 856 | Q|q) |
||
| 857 | quitScript;; |
||
| 858 | *) # sanity check (exit with error) |
||
| 859 | printError "unexpected argument: $userinput\n";; |
||
| 860 | esac |
||
| 861 | done |
||
| 862 | |||
| 863 | exit 0 |
||
| 864 | } |
||
| 865 | |||
| 866 | ################################################################################ |
||
| 867 | # SCRIPT ENTRY POINT # |
||
| 868 | ################################################################################ |
||
| 869 | |||
| 870 | main "$@" |