petsoi@discuss.tchncs.deM to Gnome@discuss.tchncs.de · edit-219 days agoVacation? What’s that? – Happenings in GNOMEblogs.gnome.orgexternal-linkmessage-square1fedilinkarrow-up111arrow-down10
arrow-up111arrow-down1external-linkVacation? What’s that? – Happenings in GNOMEblogs.gnome.orgpetsoi@discuss.tchncs.deM to Gnome@discuss.tchncs.de · edit-219 days agomessage-square1fedilink
minus-squaresetVeryLoud(true);linkfedilinkarrow-up2·17 days agoFunny, usually we put terminals in IDEs, not the other way around :P