Checkout the free online dictionary of computing as a great reference for computer programming termininology.
You will need to use the command line to run antha.
If using OS X or Linux and you’re not familiar with working on the command line, this tour offers a good introduction for navigating through the command line in unix/linux:
ls : Lists the files in the current directory
cd dirname : Change directory. Command to move to another directory. When a new terminal is
opened, you typically start out in your ‘home directory’. You can navigate back to the home directory
cd without arguments. The home directory is also designated by this symbol
cd ..’ will navigate one level up from your current directory location (i.e. move to the parent
directory). You don’t need to navigate one step at a time - you can make big leaps or avoid walking around
specifying pathnames. e.g.
cd $GOPATH/src/github.com or
Pressing tab whilst typing out the directories will autocomplete valid options. e.g. typing
tab will autocomplete to
cd - : return to previous directory
pwd : Print working directory. i.e. find out which directory you are currently in
history : Displays all previously run commands (from that shell) which can then be run by
alias : make temporary alias: e.g
(NB: this will only set up a temporary alias which will be removed the next time you open a terminal, to make a permanent alias you must add it to your profile (see “adding aliases to your profile”))
<tab key>: autocomplete. e.g. typing
cd ~Docu then
cd ~Documents/. If more than one valid possibility for autocompletion exists,
screen will flash, either keep typing until there’s only one valid option or if you’re not sure on the exact
name then pressing
tab twice will print all valid options
<Up and down arrows> : cycle through previous commands
sudo : Super User Do; sometimes necessary to run if the command you’re trying to run requires
source : Restart shell
Git is a useful tool for collaborative software development projects and offers a great way to deal with
managing code merges and version control.
Since antha is still in rapid development and we’re making changes on a weekly basis, you’ll need to use git for keeping up-to-date.
Try this course to start:
A github app is also available:
git status Summary of which branch you’re on, what changes have been made locally and which new
files have been created within the git project directory which you have yet to track with git (i.e. untracked
git fetch Check for changes to the project pushed to the remote server on github.com
git pull Pull in remote changes for project from github.com. Any local changes (apart from
untracked changes) must be committed or stashed before doing this.
git diff compare differences between current (HEAD) version of a document to the previously
git add –A :/ Add all changes to both tracked files and all untracked files to the staging area
ready for commit
git add -u :/ Add all git tracked file changes to the staging area ready for commit
git commit –m “write a commit message here” commit the staged changes.
git log list of previous commits
git checkout change HEAD to a different branch or specific commit
git stash stash all changes. This command allows you to pull in remote changes without commiting.
Useful if you have some temporary or incomplete changes which you don’t want to keep or aren’t ready to commit.
This cannot be used if you’ve begun using git add for some of the changes (these need to be committed first.)
git stash apply bring back stashed changes