Выбор awk версия на Ubuntu 14.04
Я использую Ubuntu 14.04 и делаю интенсивное использование из всех больших команд awk, sed, sort и так далее.
Недавно это привлекло мое внимание, которое использует Ubuntu mawk как реализация по умолчанию, но так как я хотел использовать некоторую функциональность, характерную для gawk, Я быстро apt-get installредактор тот пакет.
В той точке кажется что моя Ubuntu, переключенная на gawk как значение по умолчанию, которое я не хотел, так как оно имеет некоторые тонкие различия в поведении (например, rand() кажется, детерминирован в gawk, который очень плох, так как я использую все это время).
Как у меня могут быть оба установленные пакета, но использование mawk как реализация по умолчанию?
1 ответ
Можно установить значение по умолчанию с помощью механизма обновления альтернатив, используя команду
sudo update-alternatives --config awk
, например
$ sudo update-alternatives --config awk
There are 2 choices for the alternative awk (providing /usr/bin/awk).
Selection Path Priority Status
------------------------------------------------------------
* 0 /usr/bin/gawk 10 auto mode
1 /usr/bin/gawk 10 manual mode
2 /usr/bin/mawk 5 manual mode
Press enter to keep the current choice[*], or type selection number: 2
update-alternatives: using /usr/bin/mawk to provide /usr/bin/awk (awk) in manual mode.
Если вы хотите вместо gawk просто вызвать его как gawk вместо awk