Change Details
| scripts/reflash_ben.sh |
|---|
| 89 | 89 | mkdir -p ${WORKING_DIR} |
| 90 | 90 | date > "${LOG_FILE}" # purge logfile if exists |
| 91 | 91 | |
| 92 | function log() { |
| 93 | echo "$1" |
| 94 | echo "$1" >> "${LOG_FILE}" |
| 95 | } |
| 96 | |
| 92 | 97 | function abort() { |
| 93 | 98 | log "$1" |
| 94 | 99 | log "===" |
| ... | ... | |
| 96 | 101 | exit 1 |
| 97 | 102 | } |
| 98 | 103 | |
| 99 | | function log() { |
| 100 | | echo "$1" |
| 101 | | echo "$1" >> "${LOG_FILE}" |
| 102 | | } |
| 103 | | |
| 104 | 104 | [ "$(whoami)" == "root" ] || abort "this script must be run as root" |
| 105 | 105 | |
| 106 | 106 | log "working dir: ${WORKING_DIR}" |
Download the corresponding diff file
