[Octave-bug-tracker] [bug #57158] Shorten output of "path" on terminal by replacing OCTAVE_HOME part

[Philip Nienhuis]

Follow-up Comment #5, bug #57158 (project octave):

__what happens if someone wants to cut and paste an element from the this
output?__

You mean, when wanting to do s/th like rmpath ('<<paste>>')

Originally I was thinking to print something like
OCTAVE_HOME = /usr/local
above and/or below the path list, to at least give some clue.

Another, I suppose less preferred way would be to make the print-out
configurable.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?57158>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/