This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
echo " " | |
echo " _____ _____ _____ " | |
echo "| __| | |" | |
echo "|__ | --| | | |" | |
echo "|_____|_____|_|_|_|" | |
echo " webKnossos installer " | |
command -v brew >/dev/null 2>&1 || { | |
echo "" | |
echo "~~~~ Installing homebrew ~~~~" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### define | |
jquery : $ | |
underscore : _ | |
### | |
# `DispatchedWorker` is a wrapper around the WebWorker API. First you | |
# initialize it providing url of the javascript worker code. Afterwards | |
# you can request work using `send` and wait for the result using the | |
# returned deferred. | |
class DispatchedWorker |
NewerOlder