|
From: | Mike Miller |
Subject: | [Octave-bug-tracker] [bug #57158] Shorten output of "path" on terminal by replacing OCTAVE_HOME part |
Date: | Mon, 4 Nov 2019 13:10:25 -0500 (EST) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/78.0.3904.70 Safari/537.36 |
Follow-up Comment #2, bug #57158 (project octave): Are we sufficiently Unicode-ready that the replacement string could be "«OCTAVE_HOME»" instead? _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?57158> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |