View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0003888 | Far Manager | History | public | 2021-08-01 15:31 | 2025-01-29 03:37 |
Reporter | lvm | Assigned To | |||
Priority | normal | Severity | minor | Reproducibility | always |
Status | new | Resolution | open | ||
Platform | x64 | OS | Windows | OS Version | 10 |
Product Version | 3.0 | ||||
Summary | 0003888: case-insensitive история команд | ||||
Description | В истории команд команда замещается командой с другим кейсом букв. Замещение должно происходить только при строгом совпадении с учетом кейса. | ||||
Steps To Reproduce | 1. выполните dir 2. выполните DIR 3. alt-f8 - в истории только DIR | ||||
Additional Information | HaRT говорит, что сломали между 5718 и 5845 https://forum.farmanager.com/viewtopic.php?f=4&t=12561&sid=9923685338ae0e68edf23a273e594030 | ||||
Tags | No tags attached. | ||||
Build | |||||
|
Shmuel говорит, что сломали между 5761 (good) и 5787 (bad). |
|
А можно конктретные примеры, когда это критично? |
|
wget -o и wget -O |
|
Можно более конкретные примеры? |
|
Ну Make, например, там есть регистро-чувствительные ключи. Утилиты, работающие с текстом, grep и прочие - строки поиска либо замены точно могут быть регистрочувствительны. |
|
Я в курсе, что бывают программы с регистрочувствительными ключами. Вопрос был о конкретных примерах из реальной жизни, когда: - у вас в истории присутствуют несколько команд, отличающихся исключительно регистром и ничем более - делающих при этом принципиально разные вещи - вам критично наличие в истории их всех - более надежные хранилища сложных команд при этом почему-то не подходят - это случается более одного раза в год. |
|
Оба примера, что я привёл - из реальной жизни. И это только первое, что пришло в голову. Если вы считаете, что это неважно, ОК, ваше право. |
|
$ wget --help|grep -i " \-o" -o, --output-file=FILE log messages to FILE -O, --output-document=FILE write documents to FILE и уж сразу $ wget --help | grep -I " \-o" -o, --output-file=FILE log messages to FILE $ но, конечно, это только удобство, без которого вполне можно жить - как и сам фар. cmd более чем достаточно. И история в нем кмк case-sensitve. |
|
Есть люди, которые вводят одни и теже команды в разных регистрах? - Имхо нет - вводишь всегда в одном, как правило в нижнем, если ОС игнорирует регистр. Но если параметры написаны в разном регистре, значит это сделано намеренно, поэтому такие строки не эквивалентны. |
|
Кстати, я не буду плакать, если замещение полностью убрать/сделать опцию для его отключения. Глупая и бесполезная функция - экономия копеечная, а проблем от него... Когда нужно выполнить из истории три команды подряд, а они начинают менять порядок и место, мешает сильно. Я бы даже сказал, бесит. Особенно, когда вторую уже запускал отдельно, и она куда-то улетела. |
|
Можно в функции замещения до 1-го пробела игнорировать регистр, а после (в параметрах) нет. Либо игнорироваь в 1-ой подстроке охваченной кавычками, если строка начинается с кавычки, а не символов из разрешённого набора. |
|
и еще cd при работе по sftp на юниксах. Может, все-таки поправим? |
|
Дело не только в регистре команд или их ключей. Значения параметров команд тоже могут иметь разные регистры, и команды могут обрабатывать их иначе. Например, ключ в каком-нибудь case-sensitive хранилище (например, Redis). |
Date Modified | Username | Field | Change |
---|---|---|---|
2021-08-01 15:31 | lvm | New Issue | |
2021-08-01 15:42 | shmuel | Note Added: 0017134 | |
2021-08-01 17:12 | DrKnS | Note Added: 0017135 | |
2021-08-01 17:35 | lvm | Note Added: 0017136 | |
2021-08-01 17:42 | DrKnS | Note Added: 0017137 | |
2021-08-01 17:48 | shmuel | Note Added: 0017138 | |
2021-08-01 18:04 | DrKnS | Note Added: 0017139 | |
2021-08-01 18:16 | shmuel | Note Added: 0017140 | |
2021-08-01 18:42 | lvm | Note Added: 0017141 | |
2021-08-02 04:56 | AleXH | Note Added: 0017142 | |
2021-08-05 09:37 | lvm | Note Added: 0017146 | |
2021-08-05 09:37 | lvm | Note Edited: 0017146 | |
2021-08-05 12:27 | AleXH | Note Added: 0017147 | |
2021-08-05 12:45 | AleXH | Note Edited: 0017147 | |
2021-11-03 07:03 | lvm | Note Added: 0017197 | |
2025-01-29 03:37 | NightRoman | Note Added: 0017598 |