GNOME Bugzilla – Bug 749615
/etc/profile.d/vte.sh: Should not override an existing PROMPT_COMMAND
Last modified: 2015-05-20 06:47:47 UTC
Created attachment 303635 [details] [review] /etc/profile.d/vte.sh: Should not override an existing PROMPT_COMMAND Hi there, vte.sh sets PROMPT_COMMAND, which might already exist; it should instead append to PROMPT_COMMAND. Patch attached. Original bug report and patch by Josh Triplett <josh@joshtriplett.org>: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714175 Thanks, Fabian
Gosh, seen too late, sorry! *** This bug has been marked as a duplicate of bug 704960 ***