6 - PATH=$HOME/purescript:$PATH
8 - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
9 - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10 - tar -xvf $HOME/purescript.tar.gz -C $HOME/
11 - chmod a+x $HOME/purescript
12 - npm install -g bower
16 - bower install --production
23 echo $GITHUB_TOKEN | pulp login &&
24 echo y | pulp publish --no-push
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