Beispiele für bash Scripts

echo $SHELL
# oder
echo $0

echo HOST_IP=$(ifconfig en0 | awk '/ *inet /{print $2}')

$ date \
> -I
2019-10-24

cat >test.txt
this is 
a test
^D
# ^D ... EOF (at beginning of new line), ^C ... SIGINT

#!/bin/bash
# create_dirs.bash
for num in $(seq -w 01 50); do
    mkdir "$num"
done

#!/bin/bash
# -------------------------------------------------------
#  find last created directory: format NNNN
# -------------------------------------------------------
lastdir=$(ls -d [0-9][0-9][0-9][0-9] | tail -1)

# -------------------------------------------------------
#  create new sequential directory
# -------------------------------------------------------
newdir=$((++lastdir))
mkdir $(printf "%04u" $newdir)

#!/bin/bash
# search all subfolders for mp4 files and move all of them to the current folder
find . -mindepth 2 -type f  -name "*.mp4" -print -exec mv {} . \;

#!/bin/bash

# move all smaller mp4 files to ../fin
# larger ones to ../lager

maxsize=500000000 # 500 MB
files=(*.mp4)
filecount="${#files[@]}"

#echo $files
#echo $filecount

for (( i=0; i<$filecount; i++ ))
do
#>>>>>
filename="${files[$i]}"
filesize=$(stat -f%z "$filename")
echo "$filename $filesize"
if (( filesize > maxsize )); then
    mv "$filename" "../lager"
else
    mv "$filename" "../fin"
fi
#<<<<<
done

#
# create a log-file entry
#
currentDate=`date +"%d.%m.%Y %H:%M"` # 26.09.2019 11:33
mysqlFile=dump.tar.gz
termineFile=termine.csv

# https://stackoverflow.com/questions/12169710/formatted-modified-date-time-of-file-on-mac-bash

mysqlFileDate=`stat -f "%Sm" -t "%d.%m.%Y %H:%M" ${mysqlFile}`
termineFileDate=`stat -f "%Sm" -t "%d.%m.%Y %H:%M" ${termineFile}`

echo "${currentDate}: ${mysqlFile}(${mysqlFileDate}) ${termineFile}(${termineFileDate})" >> copy_dump_from_htl.log

# show the last 5 lines of logfile
tail -n 5 copy_dump_from_htl.log

for filename in ./*; do mv "./$filename" "./$(echo "$filename" | sed -e 's/to delete//g')";  done

#!/bin/sh
#
# alle .tex Files in einem Verzeichnis bearbeiten
#
for filename in *.tex; do
    [ -f "$filename" ] || break  # if exists and is regular file
    echo $filename "${filename%.*}.md"
done

$ wget --mirror --convert-links --adjust-extension --page-requisites --no-parent https://matejkaf.github.io/Doc/5AHELS.html