3: ${MAFIA_HOME:=$HOME/.mafia}
4: ${MAFIA_VERSIONS:=$MAFIA_HOME/versions}
7 git ls-remote https://github.com/haskell-mafia/mafia | grep refs/heads/master | cut -f 1
12 MAFIA_TEMP=$(mktemp -d 2>/dev/null || mktemp -d -t 'exec_mafia')
13 MAFIA_FILE=mafia-$MAFIA_VERSION
14 MAFIA_PATH=$MAFIA_VERSIONS/$MAFIA_FILE
15 mkdir -p $MAFIA_VERSIONS
16 echo "Building $MAFIA_FILE in $MAFIA_TEMP"
17 git clone https://github.com/haskell-mafia/mafia $MAFIA_TEMP
18 git --git-dir="$MAFIA_TEMP/.git" --work-tree="$MAFIA_TEMP" reset --hard $MAFIA_VERSION || {
19 echo "mafia version ($MAFIA_VERSION) could not be found." >&2
22 (cd "$MAFIA_TEMP" && ./bin/bootstrap) || {
24 echo "mafia version ($MAFIA_VERSION) could not be built." >&2
27 chmod +x "$MAFIA_TEMP/.cabal-sandbox/bin/mafia"
28 # Ensure executable is on same file-system so final mv is atomic.
29 mv -f "$MAFIA_TEMP/.cabal-sandbox/bin/mafia" "$MAFIA_PATH.$$"
30 mv "$MAFIA_PATH.$$" "$MAFIA_PATH" || {
31 rm -f "$MAFIA_PATH.$$"
32 echo "INFO: mafia version ($MAFIA_VERSION) already exists not overiding," >&2
33 echo "INFO: this is expected if parallel builds of the same version of" >&2
34 echo "INFO: mafia occur, we are playing by first in, wins." >&2
41 MAFIA_VERSION="$(latest_version)"
42 echo "INFO: No explicit mafia version requested installing latest ($MAFIA_VERSION)." >&2
46 [ -x "$MAFIA_HOME/versions/mafia-$MAFIA_VERSION" ] || build_version "$MAFIA_VERSION"
47 ln -sf "$MAFIA_HOME/versions/mafia-$MAFIA_VERSION" "$MAFIA_HOME/versions/mafia"
51 [ -x "$MAFIA_HOME/versions/mafia" ] || enable_version
52 "$MAFIA_HOME/versions/mafia" "$@"
56# The actual start of the script.....
60upgrade) shift; enable_version "$@" ;;
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list