do-generate-gitid.sh

#!/bin/bash
#% SPDX-License-Identifier: GPL-3.0-or-later
# RefPerSys file do-generate-gitid.sh - see refpersys.org
###
# it just emits a string with the full git commit id, appending + if
# the git status is not clean.
#%
#%      © Copyright 2020-2022 The Reflective Persistent System Team
#%      <http://refpersys.org>
#%
#% Description:
#%
#%      This file is part of the Reflective Persistent System.
#%      This script is used by the Makefile and emits a string with the gitid
#%
#%
#% License:
#%    This program is free software: you can redistribute it and/or modify
#%    it under the terms of the GNU General Public License as published by
#%    the Free Software Foundation, either version 3 of the License, or
#%    (at your option) any later version.
#%
#%    This program is distributed in the hope that it will be useful,
#%    but WITHOUT ANY WARRANTY; without even the implied warranty of
#%    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
#%    GNU General Public License for more details.
#%
#%    You should have received a copy of the GNU General Public License
#%    along with this program.  If not, see <http://www.gnu.org/licenses/>.
if git status|grep -q 'nothing to commit' ; then
    endgitid=''
else
    endgitid='+'
fi

if [ "$1" = "-s" ]; then
    printf "%.16s%s\n" $(git log --format=oneline -q -1 | cut '-d '  -f1 | tr -d '\n') $endgitid     
else
    (git log --format=oneline -q -1 | cut '-d '  -f1 | tr -d '\n';
     echo $endgitid)
fi