Cruxil 🇦🇺@aussie.zonetoAsklemmy@lemmy.ml•What's a handy terminal command you use often?English
2·
2 months agogit push origin HEAD
is a slightly shorter way of doing the same thing, even though you have an alias anyway lol
git push origin HEAD
is a slightly shorter way of doing the same thing, even though you have an alias anyway lol
I’ve found it can be a little resource intensive - though I only used it for a couple of projects and haven’t tried it again!
I’ve recently started using
tmux
when starting a new SSH session to try to build the habit.https://github.com/tmux/tmux/wiki