As of August 2020 the site you are on (wiki.newae.com) is deprecated, and content is now at rtfm.newae.com. |
Difference between revisions of "CW Release Steps"
(→GIT Repo Sync) |
|||
Line 2: | Line 2: | ||
=== GIT Repo Sync === | === GIT Repo Sync === | ||
+ | |||
+ | While the main GIT repo is held on Assembla, a version of it is kept updated on GITHub. This is for convenience of those that prefer GITHub. This documents how the automatic pull/push is done on a local development server (it's quite dumb really) in case we need to duplicate it again: | ||
1. Clone Assembla repo to "/home/someone/somewhere/chipwhisperer" | 1. Clone Assembla repo to "/home/someone/somewhere/chipwhisperer" | ||
− | 2. Setup github as a remote with name "github" | + | 2. Setup github as a remote with name "github" in that pull |
3. Add a script called "pushpull.sh" to "/home/someone/somewhere/chipwhisperer" with contents: | 3. Add a script called "pushpull.sh" to "/home/someone/somewhere/chipwhisperer" with contents: | ||
Line 13: | Line 15: | ||
git push -u github master | git push -u github master | ||
− | 4. Use "crontab -e" to add task that runs every 5 mins: | + | 4. Use "crontab -e" to add task that runs every 5 mins and runs that script: |
0,5,10,15,20,25,30,35,40,45,50,55 * * * * cd /home/someone/somewhere/chipwhisperer; ./pullpush.sh | 0,5,10,15,20,25,30,35,40,45,50,55 * * * * cd /home/someone/somewhere/chipwhisperer; ./pullpush.sh |
Revision as of 18:04, 11 April 2016
This page contains various information regarding the ChipWhisperer release steps. This is not designed for users, but as a note for developers regarding release information.
GIT Repo Sync
While the main GIT repo is held on Assembla, a version of it is kept updated on GITHub. This is for convenience of those that prefer GITHub. This documents how the automatic pull/push is done on a local development server (it's quite dumb really) in case we need to duplicate it again:
1. Clone Assembla repo to "/home/someone/somewhere/chipwhisperer"
2. Setup github as a remote with name "github" in that pull
3. Add a script called "pushpull.sh" to "/home/someone/somewhere/chipwhisperer" with contents:
#!/bin/sh git pull origin master git push -u github master
4. Use "crontab -e" to add task that runs every 5 mins and runs that script:
0,5,10,15,20,25,30,35,40,45,50,55 * * * * cd /home/someone/somewhere/chipwhisperer; ./pullpush.sh