Skip to content

Instantly share code, notes, and snippets.

View arturvt's full-sized avatar

Artur Tenorio arturvt

  • Booking.com
  • Netherlands
View GitHub Profile
@arturvt
arturvt / useful_git_commands.md
Last active April 16, 2020 07:25
Useful git commands

Delete branches

Delete a merged branch

git branch -d branchname

Delete a non merged branch

@arturvt
arturvt / comandos_uteis_git.md
Created April 16, 2020 08:27
Comandos úteis git.

Comandos uteis GIT

Deletando branches (local)

Deleta uma branch que já foi merged

git branch -d branchname

Deleta uma branch ainda não merged

# Useful aliases for terminal
# colorize output
alias diff='diff --color=auto'
alias grep='grep --color=auto'
alias egrep='egrep --color=auto'
alias fgrep='fgrep --color=auto'
alias ls='ls --color=auto'
alias ll='ls -alF'