Home

Phantom Wind

Basic git instructions

local commit 

 git status
 git diff src/main/eos.F90
 git add filename
 git commit -m "these are all the changes I made made"
 git push

getting a specific revision
 git checkout 536aa21 -b Krome

undo last commit while keeping the changes
 git reset --soft HEAD~1

reset all local changes (commit not done yet)
 git reset --hard

getting updates:
 git stash
 git pull
 git stash pop

branches
 git branch -a  --> list available branches
 git branch -r  --> list remote branches
 git checkout -b tripSys origin/tripSys  --> download branch tripSys from origin
 git checkout -b mybranch --> create new branch
 git push origin mybranch --> push new branch on github
 git branch -d mybranch --> delete mybranch

set OMP THREAD number
  export OMP_NUM_THREADS=1

Merge official PHANTOM branch with local master

 git checkout master
 git pull
 git fetch upstream
 git merge upstream/master

Merge local phantom_public into master branch

 git checkout phantom_public
 git pull
 git checkout master
 git merge phantom_public

Ignore devel directory when merging master with phantom_public

Working solution : prevent the automatic commit of the merge, remove devel and commit without devel
 git checkout phantom_public
 git merge --no-commit --no-ff master
 git reset -- devel
 rm -Rf devel
 git commit


The solution with .gitattribues does not work for me ?
 git config --global merge.ours.driver true
 git checkout phantom-public
 echo "devel merge=ours" >> .gitattributes
 git merge --no-commit --no-ff master

how to make a movie

Set the boundaries and the color range (usually using the last dump) and save the settings (S).. Then use the command line

splash -r 6 -dev /png binary_00*

to generate all the png files from all your dumps.

Then executes ffmpeg as follows

ffmpeg -i splash_%04d.png -r 10 -vb 50M -bt 100M -vcodec mpeg4 -vf setpts=4.*PTS movie.mp4

The frame rate is controlled by the parameter xxx in setpts=xxx*PTS