простофиля: Подведение итогов плаваний отформатировано с разделителем запятой

Я не знаю, были ли Вы в моей ситуации (рабочий стол окон, использующий шпаклевку на сервере Linux), но у меня есть та же проблема.

Я решаю это использование проблемы MobaXterm вместо шпаклевки и использования "классических связывать-ключей":

bind-key -n C-right next
bind-key -n C-left prev
2
23.03.2014, 12:09
2 ответа
[112312] Я думаю, что проблема в том, что [112781]gawk[112782] не может преобразовать строку [112783]4,3[112784] в число с плавающей точкой. Вы можете исправить это, заменив [112785], [112786] на [112787].[112788]. Для входа @glenn jackman:

0
27.01.2020, 21:57
[112270] Ответ заключается в использовании опции [112749] - use-lc-numeric [112750] gawk.

- use-lc-numeric

Это заставляет gawk использовать символ десятичной запятой локали, когда синтаксический анализ входных данных. Хотя стандарт POSIX требует этого поведение, и gawk делает это, когда действует -по-шесть, по умолчанию это следовать традиционному поведению и использовать период в качестве десятичной точки, даже в тех локалях, где период не является десятичной точкой. Эта опция переопределяет поведение по умолчанию, без полного драконовского Строгость опции --posix.

Пример

alias macro
Допустим, у нас есть этот файл данных:

dns-sd -Q www.google.com

Для удобства просмотра вывода я изменил эту строку в [112755]test.awk[112756]:

Теперь, когда вы его запускаете, используя упомянутый выше переключатель:

sudo killall mDNSResponder

References

gawk floating-point number localization

6. 1.4 Преобразование строк и чисел

$ md5 /usr/sbin/mDNSResponder
MD5 (/usr/sbin/mDNSResponder) = 205d44c2b62b8b8c2cef5b84e6da7c79

5
27.01.2020, 21:57

Теги

Похожие вопросы