Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 3667279d authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Remove some old scripts, and write a fresh one (isn't that how it always goes ?)

parent d8a2196c
#!/bin/bash
git add -A
git commit -m "Autocommit on $(LANG= date)"
if [ "$NOTIFY_ON_SUCCESS" == true ]; then
notify-send "Build successful"
fi
#!/bin/bash
git clone . -b release stack.rel
( cd stack.rel
git pull origin master
git push )
rm -rf stack.rel
#!/bin/bash
set -ue
commit="$1"
git checkout master
git checkout -b master-new
git merge "$commit"
git rebase -i master
git checkout history
git merge "$commit"
git merge --no-ff -m "Commit-burger from master" master-new
git checkout autocommit
git rebase history
git checkout master
git merge master-new
git branch -d master-new
#!/bin/bash
IFSBAK="$IFS"
declare -A PKGS
while read pkg ver; do
PKGS[$pkg]="$ver"
done < <(stack ls dependencies "$@")
for file in */*.cabal; do
while IFS= read line; do
case "$line" in
*build-depends:*)
prefix="${line%%build-depends:*}"
IFS="$IFS,&" deps=( ${line#*build-depends:} ) IFS="$IFSBAK"
full_deps=( )
for dep in "${deps[@]}"; do
case "$dep" in
'>'*|'<'*|'') :;;
*)
ver="${PKGS[$dep]}"
IFS=. vern=( $ver ) IFS="$IFSBAK"
if [ "$RAW_DEPS" != '' ] || [ "${vern[0]}" == "" ]; then
full_deps+=( "$dep" )
else
full_deps+=( "$dep >=${vern[0]}.${vern[1]} && <${vern[0]}.$((vern[1]+1))" )
fi
;;
esac
done
IFS=$'\n' full_deps=( $(printf "%s\n" "${full_deps[@]}" | sort) ) IFS="$IFSBAK"
IFS=,; printf "%sbuild-depends: %s\n" "$prefix" "${full_deps[*]}"; IFS="$IFSBAK"
;;
*) printf "%s\n" "$line";;
esac
done < "$file" > "$file.new"
mv "$file"{.new,}
done
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment