VL
Мне лень читать)
Size: a a a
2020 March 03
А
Кто-то использовал emacs для isabelle?
A
Кто-то использовал emacs для isabelle?
Старые версии Proof General поддерживали Isabelle
PG
Как же хочется использовать mosh как транспорт для Трампа вместо ssh
PS
Как же хочется использовать mosh как транспорт для Трампа вместо ssh
я никогда не понимал, зачем нужен трамп
PS
как вы его юзаете и для чего?
PG
Хожу на серваки, смотрю и редактирую там файлы
d
в мейнфреймы забуриваться приятно. Особенно в юниксовые, если, например, в ksh не особо умеешь
DL
Как же хочется использовать mosh как транспорт для Трампа вместо ssh
не выйдет
PG
я знаю, рассматривал вопрос
PS
Как же хочется использовать mosh как транспорт для Трампа вместо ssh
помнишь я тебе скидывал свой конфиг? Там был модуль работы с проектами по rsync
PS
rsync'нул какой-нибудь etc, определил его как проект, добавил данные серва в конфиг и правь себе на здоровье
PG
не удивлюсь если трапм это умеет
VL
как вы его юзаете и для чего?
Хожу на серваки смотрю и редактирую файлы. Коннекчусь к виртуалбоксу или к андроиду своему
VL
Хожу на серваки смотрю и редактирую файлы. Коннекчусь к виртуалбоксу или к андроиду своему
еще по самбе можно коннектится
VL
Трамп ахуенен. Я бы сказал киллерфича
DL
если бы не был сделал на коленке регекспами ещё :)