herbstluftwm, всё выключено

herbstluftwm настраивается bash‐портянками

Неправда, он настраивается вызовами к herbstclient.

Завести какую‐нибудь панельку нормально так и не удалось: они все лагают

Какие пробовал? Как скармливал им данные?

Неправда, он настраивается вызовами к herbstclient.

Так корректнее, да; но я думаю, что все и так поняли, про что я говорил. Просто в дефолте там bash‐скрипт.

Какие пробовал?

Уф‐уф, я же это всё в августе делал, уже и не вспомню. lemonbar пробовал, tint2, что‐то ещё. Все панельки, кстати, в Xming просто не работают.

Как скармливал им данные?

Писал свой костыль на PowerShell. Запускается всё понятно как: lemonbar.ps1 | lemonbar -p

Может быть, писал неправильно.

Говно

А как вообще ощущается замена bash на PowerShell?

Оно хотя бы необычное. А у тебя скука лютая. Ubuntu Mate с различными темами оформления.

Мне — хорошо. Но я давно использую PowerShell как дефолтный шелл.

На Windows или ты его уже давно и на Linux ставишь, даже не WSL?

И на Windows, и на Linux.

Я на винду вернулся лишь где‐то в августе, до этого у меня стояла бубунта, где я использовал именно PowerShell.

Говно

Молодец. Уважаю людей самокритичных.

Конечно, кстати, пока ты это писал, ты бы мог еще один «неговно» скрин запостить.

Нет, ты!

Под весом твоих аргументов сдастся любой детсадовец!

На Agda что-то уже написал или пока только изучаешь?

Agda тыкаю лишь из‐за «--cubical», а так всякую математику пишу на Lean (и немного на cubicaltt).

Лорчую!

А WSL считается оффтопиком?
WM интересный, но какие преимущества по сравнению нативным виндовым он имеет?
И да, шрифты как для винды - говнецо, видно, что старался.

В кои-то веки в галерее что-то действительно необычное. Спасибо за наводку на XcXsrv.

WM интересный, но какие преимущества по сравнению нативным виндовым он имеет?

Что-то на этом месте я потерял нить повествования. :\

WM интересный, но какие преимущества по сравнению нативным виндовым он имеет?

Он тайловый и позволяет пердолить конфиги (хотя это два сомнительных преимущества).

Приятно.