|
||||
File indexing completed on 2024-05-18 07:43:06
0001 #!/bin/bash 0002 # check which branch you are on for each repository 0003 wd=$(pwd) 0004 echo "" 0005 for repo in . epic EDM4eic irt EICrecon juggler reconstruction_benchmarks; do 0006 if [ -d "$repo" ]; then 0007 cd $repo 0008 printf "%30s: %s (%s)\n" $(basename `pwd`) $(git branch | awk '/^\*/{print $2}') $(git rev-parse --short HEAD) 0009 cd $wd 0010 else 0011 printf "%30s: %s\n" $repo "NOT INSTALLED" 0012 fi 0013 done 0014 echo ""
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.5 LXR engine. The LXR team |