Skip to content

Commit

Permalink
Update
Browse files Browse the repository at this point in the history
  • Loading branch information
Jan Wirth authored and janwirth committed Apr 28, 2022
1 parent e66ab4f commit 22417cf
Show file tree
Hide file tree
Showing 3 changed files with 39 additions and 3 deletions.
33 changes: 33 additions & 0 deletions bin/measure-compile-time
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
#! /bin/sh
if [ $# -eq 0 ]
then
MAIN="src/Main.elm";
else
MAIN=$1;
fi
set -e pipefail;
# only output seconds
# clear cache
# recurse tree if no arg is given
echo measuring $MAIN
rm -rf elm-stuff
C=$(git rev-parse HEAD)
alias compile='elm make $MAIN --output=node_modules/compile-output.html'
alias compilesilent='compile >/dev/null'
T=`(time (compilesilent)) 2>&1 || compile`
if [ $# -eq 0 ]
then
echo $C $MAIN $T >> ~/compile-times-per-commit
fi
if [ $# -eq 1 ]
then
echo $C $MAIN $T >> ~/compile-times-per-file
fi
echo measured $C $MAIN $T

# recurse tree if no arg is given
if [ $# -eq 0 ]
then
git checkout - -q
measure-compile-time
fi
2 changes: 2 additions & 0 deletions gitconfig
Original file line number Diff line number Diff line change
Expand Up @@ -16,3 +16,5 @@
[mergetool "sourcetree"]
cmd = /Applications/Sourcetree.app/Contents/Resources/opendiff-w.sh \"$LOCAL\" \"$REMOTE\" -ancestor \"$BASE\" -merge \"$MERGED\"
trustExitCode = true
[pull]
rebase = true
7 changes: 4 additions & 3 deletions zshrc
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
# Fig pre block. Keep at the top of this file.
. "$HOME/.fig/shell/zshrc.pre.zsh"
# If you come from bash you might have to change your $PATH.


Expand Down Expand Up @@ -226,7 +228,6 @@ export PATH="/opt/homebrew/bin:$PATH"

export FPATH="/usr/local/share/zsh/functions:$FPATH"

export PATH="/Users/janwirthprivate/compiler/dist-newstyle/build/aarch64-osx/ghc-8.10.7/elm-0.19.1/x/elm/opt/build/elm:$PATH"
export PATH="/Users/janwirth/bin:$PATH"
alias z='fasd_cd -d'

source $HOME/.cargo/env
export PATH="/Users/$HOME/dotfiles/bin:$PATH"

0 comments on commit 22417cf

Please sign in to comment.