Search Results for "remote shell"

...While git reflog would have your back in most cases, git-delete-merged-branches takes safety seriously. git push is used with --force-with-lease so if the server and you have a different understanding of that branch, it is not deleted. There is no use of os.system or shell code to go wrong.

This prompt is a port of the "Informative git prompt for zsh". A bash prompt that displays information about the current git repository. In particular the branch name, difference with remote branch, number of files staged, changed, etc. The advantage of this approach is, that you only need to specify the parts, that are different to the Default theme. You can set the GIT_PROMPT_SHOW_UNTRACKED_FILES variable to no or normal to speed things up if you have lots of untracked files in your...

zsh-git-prompt is a Z shell prompt script that displays rich Git repository information in your shell prompt, such as branch, ahead/behind status, staged changes, conflicts, and more. It enhances developer productivity in version-controlled workflows. There is now a Haskell implementation as well, which can be four to six times faster than the Python one. The reason is not that Haskell is faster in itself (although it is), but that this implementation calls git only once. You may redefine...

Git Goodies: At-A-Glance, Efficient, and Aesthetically Pleasing Git Shortcuts. gg helps you work with git more efficiently, saving you keystrokes for your most prized projects. Think of gg as a wrapper for the git commands that you run all the time; a wrapper that adds functionality and is aesthetically pleasing. There's more to the package than just shortcuts or aliases. For example, the gg s command presents you with an easy to look at a quick glance status of your repository. In addition,...