Closed matjazpotocnik closed 3 years ago
Would be nice to have ">" instead of "#" on windows.
Add this around line 100:
var cmdPrompt = <?php echo defined('PHP_WINDOWS_VERSION_BUILD') ? "'>';\n" : "'#';\n";?>
then replace line 334 with this:
return "<span title=\"" + cwd + "\">" + shortCwd + "</span>" + cmdPrompt;
Would be nice to have ">" instead of "#" on windows.
Add this around line 100:
var cmdPrompt = <?php echo defined('PHP_WINDOWS_VERSION_BUILD') ? "'>';\n" : "'#';\n";?>
then replace line 334 with this:
return "<span title=\"" + cwd + "\">" + shortCwd + "</span>" + cmdPrompt;