Random tools to play around with music and sound, ranging from easy composition, generative, playgrounds, and code.
| #!/usr/bin/env bash | |
| cabal configure && cabal build && cabal haddock --hyperlink-source \ | |
| --html-location='/package/$pkg-$version/docs' \ | |
| --contents-location='/package/$pkg' | |
| S=$? | |
| if [ "${S}" -eq "0" ]; then | |
| cd "dist/doc/html" | |
| DDIR="${1}-${2}-docs" | |
| cp -r "${1}" "${DDIR}" && tar -c -v -z --format=ustar -f "${DDIR}.tar.gz" "${DDIR}" | |
| CS=$? |
| SSH agent forwarding is great. It allows you to ssh from one server to | |
| another all the while using the ssh-agent running on your local | |
| workstation. The benefit is you don't need to generate ssh key pairs | |
| on the servers you are connecting to in order to hop around. | |
| When you ssh to a remote machine the remote machine talks to your | |
| local ssh-agent through the socket referenced by the SSH_AUTH_SOCK | |
| environment variable. | |
| So you the remote server you can do something like: |