Set up new computer¶
For ontology curation and development on a Mac. We are assuming your default shell is zsh (modern machines use zsh as a shell, older machines use bash).
Set up docker¶
- Follow the instructions here.
- Once installed, you should be able to open your command line and download the ODK.
- Open Terminal
in the command line type, type
docker pull obolibrary/odkfull. This will download the ODK (will take a few minutes, depending on you internet connection).
Setting the memory: Set memory ~60% of your system memory, for example, if you have 16GB of RAM, then you should assign 10-11.
note: brew install java has changed since a few months ago (early 2021)
brew install java
echo 'export PATH="/usr/local/opt/openjdk/bin:$PATH"' >> ~/.zshrc
Install GitHub Desktop¶
Please make sure you have some kind of git client installed on your Machine. If you are new to Git, please install GitHub Desktop
Configure personal access token in GitHub¶
- sign into github.com
Go to settings -> Click developer settings -> Click personal access token
- click: repo, user, workflow, write:packages (see image below, note that the image is truncated)
- Give the token a name that clearly state why this token will be used
- set the tolken to expire in 1 year (note that every year, you will have to create a new one)
- click "generate token" at the bottom of the page
- Note that the image below is truncated
- make sure you copy and keep the token in a safe place, it is the only opportunity you will have to copy it
In terminal: nano .token
- this will open a window in which you can paste your token
- paste your token in this window, then save (Control O; enter) and close (Control X)
Install Atom (text editor)¶
- Click Atom-> Preferences
- Click packages
- Type 'whitespace' in the search bar
- Set preferences per the image below
- Recommended to clone into a directory without white spaces in the path, for example, /users/me/git/mondo (me= your username), but avoid /users/me/git projects/mondo
- In terminal:
- Create mirror directory:
sh run.sh make dirs
- go to the Mondo repository
- click on "code", then "Open with GitHub Desktop"
- This will open a window in GitHub desktop and give you option for where to clone the repository on your machine.
- Click "clone"