Statistics
| Branch: | Tag: | Revision:

amiro-os / kernel / kernelsetup.sh @ 732a4657

History | View | Annotate | Download (30.1 KB)

1
################################################################################
2
# AMiRo-OS is an operating system designed for the Autonomous Mini Robot       #
3
# (AMiRo) platform.                                                            #
4
# Copyright (C) 2016..2019  Thomas Schöpping et al.                            #
5
#                                                                              #
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
### 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
################################################################################
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
  printf "# Copyright (c) 2016..2019  Thomas Schöpping                         #\n"
319
  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
#             -1
371
#                 Error: Missing dependency.
372
#
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
  # check dependencies
398
  checkCommands git
399
  if [ $? -ne 0 ]; then
400
    printError "Missing dependencies detected.\n"
401
    return -2
402
  fi
403

    
404
  # 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
  # check dependencies
450
  checkCommands git
451
  if [ $? -ne 0 ]; then
452
    printError "Missing dependencies detected.\n"
453
    return -2
454
  fi
455

    
456
  # 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
      git apply --whitespace=nowarn --ignore-space-change --ignore-whitespace < $patch 2>&1 | tee -a $LOG_FILE
508
      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
#             -2
539
#                 Error: Missing dependencies.
540
#
541
function documentation {
542
  local userdir=$(pwd)
543
  local kerneldir=$(dirname $(realpath ${BASH_SOURCE[0]}))
544
  local chibiosdir=${kerneldir}/ChibiOS
545

    
546
  # if the ChibiOS folder is empty
547
  if [ -z "$(ls -A $chibiosdir)" ]; then
548
    printWarning "$chibiosdir is empty. Please initialize first.\n"
549
    return 1
550
  else
551
    local option="";
552
    # if no argument was specified, ask what to do
553
    if [ $# -eq 0 ]; then
554
      printInfo "ChibiOS documentation setup\n"
555
      printf "Please select one of the following actions:\n"
556
      printf "  [G] - generate HTML documentation\n"
557
      printf "  [O] - open HTML documentation\n"
558
      printf "  [A] - abort this setup\n"
559
      local userinput
560
      readUserInput "GgOoAa" userinput
561
      option=${userinput,,}
562
      if [ $option = "a" ]; then
563
        printInfo "ChibiOS documentation setup aborted by user\n"
564
        return 2
565
      fi
566
    else
567
      option="$1"
568
    fi
569

    
570
    local issues=0
571
    case "$option" in
572
      # generate HTML documentation
573
      g)
574
        # check dependencies
575
        checkCommands doxygen
576
        if [ $? -ne 0 ]; then
577
          printError "Missing dependencies detected.\n"
578
          return -2
579
        fi
580

    
581
        # ChibiOS/HAL: check if required files exis
582
        if [ -f ${chibiosdir}/doc/hal/makehtml.sh ]; then
583
          printInfo "generating ChibiOS/HAL documentation...\n"
584
          cd ${chibiosdir}/doc/hal
585
          ${chibiosdir}/doc/hal/makehtml.sh 2>&1 | tee -a $LOG_FILE
586
          cd $userdir
587
          printInfo "access ChibiOS/HAL documentation via ${chibiosdir}doc/hal/html/index.html\n"
588
        else
589
          issues=$((issues + 1))
590
          printError "could not generate ChibiOS/HAL documentation\n"
591
        fi
592
        # ChibiOS/RT: check if required files exis
593
        if [ -f ${chibiosdir}/doc/rt/makehtml.sh ]; then
594
          printInfo "generating ChibiOS/RT documentation...\n"
595
          cd ${chibiosdir}/doc/rt
596
          ${chibiosdir}/doc/rt/makehtml.sh 2>&1 | tee -a $LOG_FILE
597
          cd $userdir
598
          printInfo "access ChibiOS/RT documentation via ${chibiosdir}doc/rt/html/index.html\n"
599
        else
600
          issues=$((issues + 1))
601
          printError "could not generate ChibiOS/RT documentation\n"
602
        fi
603
        # ChibiOS/NIL: check if required files exis
604
        if [ -f ${chibiosdir}/doc/nil/makehtml.sh ]; then
605
          printInfo "generating ChibiOS/NIL documentation...\n"
606
          cd ${chibiosdir}/doc/nil
607
          ${chibiosdir}/doc/nil/makehtml.sh 2>&1 | tee -a $LOG_FILE
608
          cd $userdir
609
          printInfo "access ChibiOS/NIL documentation via ${chibiosdir}edoc/nil/html/index.html\n"
610
        else
611
          issues=$((issues + 1))
612
          printError "could not generate ChibiOS/NIL documentation\n"
613
        fi
614
        ;;
615

    
616
      # open HTML documentation
617
      o)
618
        # ChibiOS/HAL: check if required files exis
619
        if [ -f ${chibiosdir}/doc/hal/html/index.html ]; then
620
          printInfo "open ChibiOS/HAL documentation\n"
621
          xdg-open ${chibiosdir}/doc/hal/html/index.html &> /dev/null &
622
        else
623
          issues=$((issues + 1))
624
          printError "could not open ChibiOS/HAL documentation\n"
625
        fi
626
        # ChibiOS/RT: check if required files exis
627
        if [ -f ${chibiosdir}/doc/rt/html/index.html ]; then
628
          printInfo "open ChibiOS/RT documentation\n"
629
          xdg-open ${chibiosdir}/doc/rt/html/index.html &> /dev/null &
630
        else
631
          issues=$((issues + 1))
632
          printError "could not open ChibiOS/RT documentation\n"
633
        fi
634
        # ChibiOS/NIL: check if required files exis
635
        if [ -f ${chibiosdir}/doc/nil/html/index.html ]; then
636
          printInfo "open ChibiOS/NIL documentation\n"
637
          xdg-open ${chibiosdir}/doc/nil/html/index.html &> /dev/null &
638
        else
639
          issues=$((issues + 1))
640
          printError "could not open ChibiOS/NIL documentation\n"
641
        fi
642
        ;;
643

    
644
      *) # sanity check (return error)
645
        printError "unexpected input: $userinput\n"; return -1;;
646
    esac
647

    
648
    if [ $issues -gt 0 ]; then
649
      return 3
650
    else
651
      return 0
652
    fi
653
  fi
654
}
655

    
656
### reset ChibiOS submodule and wipe directory #################################
657
# Resets the ChibiOS Git submodule and wipes the directory.
658
#
659
# usage:      wipeChibiOS
660
# arguments:  n/a
661
# return:     0
662
#                 No error or warning occurred.
663
#             1
664
#                 Warning: Submodule directory is already empty.
665
#             2
666
#                 Warning: Wiping aborted by user.
667
#             -1
668
#                 Error: Unexpected user input.
669
#
670
function wipeChibiOS {
671
  printInfo "reset and wipe Git submodule $kerneldir\n"
672
  local userdir=$(pwd)
673
  local kerneldir=$(dirname $(realpath ${BASH_SOURCE[0]}))
674
  local chibiosdir=${kerneldir}/ChibiOS
675
  local git_branch_patched="AMiRo-OS"
676

    
677
  # check dependencies
678
  checkCommands git
679
  if [ $? -ne 0 ]; then
680
    printError "Missing dependencies detected.\n"
681
    return -2
682
  fi
683

    
684
  # if the ChibiOS folder is empty
685
  if [ -z "$(ls -A $chibiosdir)" ]; then
686
    printInfo "$chibiosdir is alread empty\n"
687
    return 1
688
  else 
689
    # get some information from Git
690
    cd $kerneldir
691
    local git_basehash=($(git ls-tree -d HEAD $kerneldir)); git_basehash=${git_basehash[2]}
692
    cd $chibiosdir
693
    local git_branch_current=$(git rev-parse --abbrev-ref HEAD)
694
    local git_difftobase="$(git diff ${git_basehash}..HEAD)"
695
    local git_commits=$(git log --format=oneline ${git_basehash}..HEAD)
696
    local git_dirtyfiles=($(git ls-files -dmo --exclude-standard --exclude=/doc))
697
    cd $userdir
698
    local issues=0
699
    # if the HEAD is neither detached, nor is the current branch $git_branch_patched
700
    if [ "$git_branch_current" != "HEAD" ] && [ "$git_branch_current" != "$git_branch_patched" ]; then
701
      issues=$((issues + 1))
702
      printWarning "modifications to ChibiOS Git submodule detected\n"
703
    fi
704
    # if HEAD is ahead of submodule base commit but with more than just applied patches
705
    if [ -n "$git_difftobase" ] && [ -n "$(echo $git_commits | grep -Ev '\.patch applied$')" ]; then
706
      issues=$((issues + 1))
707
      printWarning "HEAD is ahead of submodule base by unexpected commits\n"
708
    fi
709
    # if there are untracked, modified, or deleted files
710
    if [ ${#git_dirtyfiles[@]} != 0 ]; then
711
      issues=$((issues + 1))
712
      printWarning "there are ${#git_dirtyfiles[@]} untracked, modified, or deleted files\n"
713
    fi
714
    if [ $issues -gt 0 ]; then
715
      local userinput=""
716
      printWarning "$issues issues detected. Do you want to continue? [y/n]\n"
717
      readUserInput "YyNn" userinput
718
      case "$userinput" in
719
        Y|y)
720
          ;;
721
        N|n)
722
          printfWarning "wiping ChibiOS Git submodule aborted by user\n"
723
          return 2
724
          ;;
725
        *) # sanity check (return error)
726
          printError "unexpected input: $userinput\n"; return -1;;
727
      esac
728
    fi
729

    
730
    # checkout base commit and delete all local branches
731
    cd $kerneldir
732
    git submodule update --force --checkout $kerneldir | tee -a $LOG_FILE
733
    cd $chibiosdir
734
    local git_branches=($(git for-each-ref --format="%(refname)"))
735
    for branch in $git_branches; do
736
      if [[ $branch = *"heads/"* ]]; then
737
        git branch -D ${branch##*/} | tee -a $LOG_FILE
738
      fi
739
    done
740
    cd $userdir
741

    
742
    # deinitialize ChibiOS submodule and delete any remaining files
743
    cd $kerneldir
744
    git submodule deinit -f $chibiosdir 2>&1 | tee -a $LOG_FILE
745
    rm -rf $chibiosdir/*
746
    cd $userdir
747

    
748
    return 0
749
  fi
750
}
751

    
752
### main function of this script ###############################################
753
# The kernel setup provides comfortable initialization, patching, documentation
754
# generation and cleanup for ChibiOS.
755
#
756
# usage:      see function printHelp
757
# arguments:  see function printHelp
758
# return:     0
759
#                 No error or warning occurred.
760
#
761
function main {
762
  # print welcome/info text if not suppressed
763
  if [[ $@ != *"--noinfo"* ]]; then
764
    printWelcomeText
765
  else
766
    printf "######################################################################\n"
767
  fi
768
  printf "\n"
769

    
770
  # if --help or -h was specified, print the help text and exit
771
  if [[ $@ == *"--help"* || $@ == *"-h"* ]]; then
772
    printHelp
773
    printf "\n"
774
    quitScript
775
  fi
776

    
777
  # set log file if specified
778
  if [[ $@ == *"--log"* ]] || [[ $@ == *"--LOG"* ]]; then
779
    # get the parameter (file name)
780
    local cmdidx=1
781
    while [[ ! "${!cmdidx}" = "--log"* ]] && [[ ! "${!cmdidx}" = "--LOG"* ]]; do
782
      cmdidx=$[cmdidx + 1]
783
    done
784
    local cmd="${!cmdidx}"
785
    local logfile=""
786
    if [[ "$cmd" = "--log="* ]] || [[ "$cmd" = "--LOG="* ]]; then
787
      logfile=${cmd#*=}
788
    else
789
      local filenameidx=$((cmdidx + 1))
790
      logfile="${!filenameidx}"
791
    fi
792
    # optionally force silent appending
793
    if [[ "$cmd" = "--LOG"* ]]; then
794
      setLogFile --option=c --quiet "$logfile" LOG_FILE
795
    else
796
      setLogFile "$logfile" LOG_FILE
797
      printf "\n"
798
    fi
799
  fi
800
  # log script name
801
  printLog "this is $(realpath ${BASH_SOURCE[0]})\n"
802

    
803
  # parse arguments
804
  local otherargs=()
805
  while [ $# -gt 0 ]; do
806
    if ( parseIsOption $1 ); then
807
      case "$1" in
808
        -h|--help) # already handled; ignore
809
          shift 1;;
810
        -i|--init)
811
           initChibiOS; printf "\n"; shift 1;;
812
        -p|--patch)
813
           patchChibiOS; printf "\n"; shift 1;;
814
        -d=*|--documentation=*)
815
           documentation "${1#*=}"; printf "\n"; shift 1;;
816
        -d|--documentation)
817
           if ( ! parseIsOption $2 ); then
818
             documentation "$2"; printf "\n"; shift 2
819
           else
820
             documentation; printf "\n"; shift 1
821
           fi;;
822
        -w|--wipe)
823
          wipeChibiOS; printf "\n"; shift 1;;
824
        -q|--quit)
825
          quitScript; shift 1;;
826
        --log=*|--LOG=*) # already handled; ignore
827
          shift 1;;
828
        --log|--LOG) # already handled; ignore
829
          shift 2;;
830
        --noinfo) # already handled; ignore
831
          shift 1;;
832
        *)
833
          printError "invalid option: $1\n"; shift 1;;
834
      esac
835
    else
836
      otherargs+=("$1")
837
      shift 1
838
    fi
839
  done
840

    
841
  # interactive menu
842
  while ( true ); do
843
    # main menu info prompt and selection
844
    printInfo "ChibiOS kernel setup main menu\n"
845
    printf "Please select one of the following actions:\n"
846
    printf "  [I] - initialize ChibiOS submodule\n"
847
    printf "  [P] - apply patches to ChibiOS\n"
848
    printf "  [D] - generate or open HTML documentation\n"
849
    printf "  [W] - wipe ChibiOS submodule\n"
850
    printf "  [Q] - quit this setup\n"
851
    local userinput=""
852
    readUserInput "IiPpDdWwQq" userinput
853
    printf "\n"
854

    
855
    # evaluate user selection
856
    case "$userinput" in
857
      I|i)
858
        initChibiOS; printf "\n";;
859
      P|p)
860
        patchChibiOS; printf "\n";;
861
      D|d)
862
        documentation; printf "\n";;
863
      W|w)
864
        wipeChibiOS; printf "\n";;
865
      Q|q)
866
        quitScript;;
867
      *) # sanity check (exit with error)
868
        printError "unexpected argument: $userinput\n";;
869
    esac
870
  done
871

    
872
  exit 0
873
}
874

    
875
################################################################################
876
# SCRIPT ENTRY POINT                                                           #
877
################################################################################
878

    
879
main "$@"