liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Option synonims


From: Paolo Redælli
Subject: Option synonims
Date: Tue, 15 Mar 2022 14:14:21 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.1.0

You may have noted that I used "--all-clients" instead of "-all_clients" which is documented in short help message.

Do we know that we may use "--" instead of "-" and "-" instead of "_" in options?

I.e.: -no_warning --no_warning -no-warning and --no-warning are all synonims for the same option.

Shall I make it a little more known, perhaps changing the help message?




reply via email to

[Prev in Thread] Current Thread [Next in Thread]