File bin/dit.sh

Last commit: Sun Dec 8 22:33:23 2024 +0100	Jan Dankert	Modules can be disabled by project configuration


     1 #!/bin/bash
     2 
     3 DIT_DIR="$(dirname $0)/../"
     4 
     5 source "${DIT_DIR}/bin/lib.sh"
     6 
     7 
     8 # reading config files
     9 for configfile in ${DIT_DIR}/config/config-default.sh /etc/.config/dit /etc/dit $HOME/.config/dit; do
    10   if   [ -f $configfile ]; then
    11     #echo "Read config from $configfile"
    12     source $configfile
    13   else
    14     :
    15     #echo "Not found: $configfile"
    16   fi
    17 done
    18 
    19 if  is_on $notify; then
    20   TMPFILE=$(mktemp)
    21 else
    22   TMPFILE=/dev/stdout
    23 fi
    24 
    25 git log HEAD..HEAD
    26 if [ $? -ne 0 ]; then
    27     echo "Error: No GIT repository found in $(pwd)"
    28     echo "Seems like this is no GIT repo."
    29     echo "Try to use 'git init' to create a GIT repository here."
    30     exit 4
    31 fi
    32 
    33 source ${DIT_DIR}/bin/build.sh >> $TMPFILE 2>&1
    34 
    35 if   is_on $notify; then
    36   notify
    37   if [ $? -ne 0 ]; then
    38       echo "Notify FAILED" 1>&2
    39 
    40       echo "Log output:"
    41       echo $TMPFILE
    42       exit 4
    43   fi
    44 
    45   rm $TMPFILE
    46 else
    47   :  # NOP
    48 fi
    49 



Download bin/dit.sh


History
Sun, 8 Dec 2024 22:33:23 +0100	Jan Dankert	Modules can be disabled by project configuration
Sun, 8 Dec 2024 21:32:43 +0100	Jan Dankert	Fix: Support for bare repositories.
Wed, 27 Nov 2024 01:04:22 +0100	Jan Dankert	Small fixes...
Tue, 26 Nov 2024 23:26:36 +0100	Jan Dankert	New: Creating a project website
Sun, 12 May 2024 23:21:28 +0200	Jan Dankert	new: hightlight.js - but it breaks the line numbers :(
Sun, 12 May 2024 19:53:02 +0200	Jan Dankert	first edition of DIT, the delivery expert.