[Getfem-commits] (no subject)

[Yves Renard]

branch: devel-yves
commit 788157a502a5266788218e694e67427ffd1abd72
Author: Yves Renard <address@hidden>
Date:   Sun Jul 2 17:27:40 2017 +0200

    minor fix
---
 bin/upload_documentation | 5 ++++-
 bin/upload_html          | 5 ++++-
 bin/upload_misc          | 5 ++++-
 bin/upload_version       | 6 +++++-
 4 files changed, 17 insertions(+), 4 deletions(-)

diff --git a/bin/upload_documentation b/bin/upload_documentation
index aa401d7..f89c16d 100755
--- a/bin/upload_documentation
+++ b/bin/upload_documentation
@@ -31,7 +31,10 @@ if [ "$srcdir" == "" ]; then
   srcdir="."
 fi
 
-me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"From " 
'{print $2}' | awk -F"@" '{print $1}')
+me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"//" 
'{print $2}' | awk -F"@" '{print $1}')
+if [ "$me" == "" ]; then
+  me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F" " 
'{print $2}' | awk -F"@" '{print $1}')
+fi
 echo "Savannah login : $me"
 if [ "$me" == "" ]; then
 #  me="renard"
diff --git a/bin/upload_html b/bin/upload_html
index 884afaa..c2d7197 100755
--- a/bin/upload_html
+++ b/bin/upload_html
@@ -33,7 +33,10 @@ fi
 
 where="html"
 
-me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"From " 
'{print $2}' | awk -F"@" '{print $1}')
+me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"//" 
'{print $2}' | awk -F"@" '{print $1}')
+if [ "$me" == "" ]; then
+  me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F" " 
'{print $2}' | awk -F"@" '{print $1}')
+fi
 echo "Savannah login : $me"
 if [ "$me" == "" ]; then
 #  me="renard"
diff --git a/bin/upload_misc b/bin/upload_misc
index d89b7c3..495deac 100755
--- a/bin/upload_misc
+++ b/bin/upload_misc
@@ -33,7 +33,10 @@ fi
 
 where="misc"
 
-me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"From " 
'{print $2}' | awk -F"@" '{print $1}')
+me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"//" 
'{print $2}' | awk -F"@" '{print $1}')
+if [ "$me" == "" ]; then
+  me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F" " 
'{print $2}' | awk -F"@" '{print $1}')
+fi
 echo "Savannah login : $me"
 if [ "$me" == "" ]; then
 #  me="renard"
diff --git a/bin/upload_version b/bin/upload_version
index 7936ccd..a6317bd 100755
--- a/bin/upload_version
+++ b/bin/upload_version
@@ -33,7 +33,11 @@ where=""
 if [ "$srcdir" == "" ]; then
   srcdir=".."
 fi
-me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"From " 
'{print $2}' | awk -F"@" '{print $1}')
+
+me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F"//" 
'{print $2}' | awk -F"@" '{print $1}')
+if [ "$me" == "" ]; then
+  me=$((cd $srcdir && git ls-remote) 2>&1| grep "git.sv.gnu.org" | awk -F" " 
'{print $2}' | awk -F"@" '{print $1}')
+fi
 echo "Savannah login : $me"
 if [ "$me" == "" ]; then
 #  me="renard"