@[email protected] to [email protected]English • 10 months agoWhat's your favorite terminal?message-square170fedilinkarrow-up1169arrow-down16file-text
arrow-up1163arrow-down1message-squareWhat's your favorite terminal?@[email protected] to [email protected]English • 10 months agomessage-square170fedilinkfile-text
minus-square@shiroininjalink7•10 months agoI like just good old gnome terminal. Theming scripts work well with it, like the gruvbox one that has like a hundred color themes. it’s got all the right features. just works
I like just good old gnome terminal. Theming scripts work well with it, like the gruvbox one that has like a hundred color themes. it’s got all the right features. just works