.profile: Enable plumbing commands to be completed

diff --git a/.profile b/.profile
index 1922ffabeccd71e03ed562da7675dc81b70649ab..6adce8fb04061fead55ca9eebee557e6c013f75c 100644 (file)
--- a/.profile
+++ b/.profile
@@ -209,6 +209,10 @@ if [ -t 0 ] ; then
 
     unset name email
 
+    # Enable plumbing commands to be completed
+    GIT_COMPLETION_SHOW_ALL_COMMANDS=1
+    export GIT_COMPLETION_SHOW_ALL_COMMANDS
+
     #SCREENDIR="$HOME"/tmp/screen
     #export SCREENDIR
     #mkdir -p "$SCREENDIR"