Индикатор рабочей области при просмотре приложений Ubuntu 17.10

Вам действительно не нужно сопоставление регулярных выражений, если ваши данные структурированы как поля с разделителями.

В вашем случае -> всегда отображается как 5-ое поле с разделителями пробелов, поэтому этого достаточно, чтобы проверьте значения 4-го и 6-го:

awk '$6 != $4' file

Если положение -> меняется, вы можете сделать что-то вроде

awk '{for(i=1;i<NF;i++) if ($i == "->" && $(i-1) != $(i+1)) {print; break}}' file

или разделить строку на ->, а затем разделите части с каждой стороны на пробелы и проверьте последнее поле первой части на первое поле второго:

awk -F' -> ' '{
  n=split($1,a,/[ \t]+/); split($2,b,/[ \t]+/); if(b[1] != a[n]) print
}' file
3
задан 1 March 2018 в 19:33

3 ответа

Мне нравится расширение оболочки Workspaces to Dock GNOME.

Перетащите указатель мыши в правую сторону экрана. Док будет скользить. На доке вы можете увидеть, какие приложения запущены и где. Чтобы переместить окно в другое рабочее пространство, просто перетащите нужное окно из одного рабочего пространства в другое.

Найдите его на странице https://extensions.gnome.org/extension/427/workspaces-to-dock/

3
ответ дан 22 May 2018 в 12:49
  • 1
    Спасибо вам. Я использую это расширение, но это не совсем то, что мне нужно. Может быть, еще нет решения моего вопроса. Время узнать, как закодировать расширение gnome. – Eraseth 2 March 2018 в 12:53

Мне нравится расширение оболочки Workspaces to Dock GNOME.

Перетащите указатель мыши в правую сторону экрана. Док будет скользить. На доке вы можете увидеть, какие приложения запущены и где. Чтобы переместить окно в другое рабочее пространство, просто перетащите нужное окно из одного рабочего пространства в другое.

Найдите его на странице https://extensions.gnome.org/extension/427/workspaces-to-dock/

3
ответ дан 17 July 2018 в 19:44

Мне нравится расширение оболочки Workspaces to Dock GNOME.

Перетащите указатель мыши в правую сторону экрана. Док будет скользить. На доке вы можете увидеть, какие приложения запущены и где. Чтобы переместить окно в другое рабочее пространство, просто перетащите нужное окно из одного рабочего пространства в другое.

Найдите его на странице https://extensions.gnome.org/extension/427/workspaces-to-dock/

3
ответ дан 23 July 2018 в 20:29

Другие вопросы по тегам:

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