Content - adb400f06a009c034b7cc6e72c5f49ecd30c7614 - 75f0c27/scripts/install/get-commit

visit type:

Tip revision: e4bf1725f2a327bc58dda51d0079acb8dbb8fb1a authored by François Dupressoir on 16 January 2020, 20:40:23 UTC
trailing white space in modified files

Tip revision: e4bf172

get-commit

#! /bin/bash

# --------------------------------------------------------------------
hash=$(head -n 1 <(git rev-parse HEAD 2>/dev/null))

if [[ "${hash}" =~ ^[a-fA-F0-9]{40}$ ]]; then
  echo -n "${hash}"
fi

Browse the archive

https://github.com/EasyCrypt/easycrypt