Hrvoje Niksic wrote:
"www.mail" <[EMAIL PROTECTED]> writes:
>>Something like ...
>>
>> wget --title="News Server #1" http://www.etc.com/latest_news.html
>>
>>So that "News Server #1" appears as the console title rather than the URL
>>(or its possible redirect).
>
> I think the standard Windows console application (cmd.exe) always
> changes its title somehow to reflect which command is currently
> executing.
Wget has code that changes the console title (ws_changetitle in
mswindows.c), which is what Derek is probably referring to.
Changing console title was IMHO a mistaken feature to implement in the
first place
I agree.
In the case of Windows, I believe that no console application should
alter the window title, as such applications will overwrite the title
which was specified at the start of a command script. Having said
that, even if wget did not alter the window title, the Windows
console (cmd.exe) would automatically append the wget command line to
its window title, if wget was executed directly from the command
line. If wget was executed from within a script, then the script
name would be appended to the console window title.
This is the (annoying, IMHO) behaviour of the Windows console, which
is why I gave Derek the option of trying a different console
completely - one where he had more control over the window title.
but the original Windows port had it and, not being a
Windows user myself, I didn't want to remove it later. If we allowed
such an option, it should probably be named "--console-title" or even
"--windows-console-title" rather than the generic "--title". It might
include substitutions like %(url) so that the user could specify
different strings that still contained the current URL. Anyway,
adding further customizations to an already questionnable feature is
IMHO not a very good idea.
Agreed also. If the user wants to change the window title in
Windows, then they should write a command script such as (referring
to Derek's original example):
@echo off
title News Server #1
echo Downloading latest news...
echo.
wget http://www.etc.com/latest_news.html
Regards,
Jonny
