Skip to content

Instantly share code, notes, and snippets.

@phouverneyuff
Created May 27, 2019 14:10
Show Gist options
  • Select an option

  • Save phouverneyuff/d949c484bbbf937ae914af6b533df9ad to your computer and use it in GitHub Desktop.

Select an option

Save phouverneyuff/d949c484bbbf937ae914af6b533df9ad to your computer and use it in GitHub Desktop.

Revisions

  1. phouverneyuff created this gist May 27, 2019.
    10 changes: 10 additions & 0 deletions .zprofile
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,10 @@
    emulate sh -c '. ~/.profile'
    #emulate sh -c '. /etc/profile'

    function gitDeleteTagLocalAndRemote(){ #delete tag local and from remote
    git push --delete "$1" "$2"
    git tag -d $2
    echo "tag $2 delete from remote $1 and local"
    }

    alias gtdo="gitDeleteTagLocalAndRemote"