./all branch: fetch origin before creating a branch, to make sure new branches start...

[xonotic/xonotic.git] / all

diff --git a/all b/all
index bf26739679c7141f0ce01f795af49a96b495fcf2..38b65d5c062991b625271569c48fbe43ef624b8e 100755 (executable)
--- a/all
+++ b/all
@@ -302,7 +302,8 @@ case "$cmd" in
                                                if [ -n "$srcbranch" ]; then
                                                        b=$srcbranch
                                                else
-                                                       b="`repobranch "$d"`"
+                                                       b=origin/"`repobranch "$d"`"
+                                                       verbose git fetch origin || true
                                                fi
                                                # TODO do this without pushing
                                                verbose git push "$remote" "$b":"$branch"
@@ -522,9 +523,11 @@ case "$cmd" in
                set -- "darkplaces/darkplaces$client" -nexuiz -customgamename Xonotic -customgamedirname1 data -customgamedirname2 "" -customgamescreenshotname xonotic -customgameuserdirname xonotic "$@"
 
                # if pulseaudio is running: USE IT
-               if ps -C pulseaudio >/dev/null; then
-                       if ldd /usr/lib/libSDL.so 2>/dev/null | grep pulse >/dev/null; then
-                               export SDL_AUDIODRIVER=pulse
+               if [ -z "$SDL_AUDIODRIVER" ] && ! [ -n "$WE_HATE_OUR_USERS" ]; then
+                       if ps -C pulseaudio >/dev/null; then
+                               if ldd /usr/lib/libSDL.so 2>/dev/null | grep pulse >/dev/null; then
+                                       export SDL_AUDIODRIVER=pulse
+                               fi
                        fi
                fi
 
@@ -660,7 +663,7 @@ case "$cmd" in
                                if [ -n "$note" ]; then
                                        reportdo4 echo "$note"
                                        reportecho4 "--> not merging, already had this one rejected before"
-                               elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log HEAD.."$ref"; git diff --color-words --find-copies-harder --ignore-space-change HEAD..."$ref"; } | less'; then
+                               elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log --color HEAD.."$ref"; git diff --color --find-copies-harder --ignore-space-change HEAD..."$ref"; } | less -r'; then
                                        git checkout master
                                        org=`git rev-parse HEAD`
                                        if ! git merge "$ref" 2>&1 | tee "$t"; then