git change user for single repo
$ git config user.name "John Doe"
Also in Shell:
- grep regex negation
- install pipenv on kali linux
- git change git commit date
- shell script variable
- asdf node fingerprint
- branch list in git
- how to see all branches in git
- powershell script enable tls 1.2
- install ifconfig on ubuntu
- install deb file
- mate on ubuntu 20.04
- bash tee stdout and stderr
- bash measure execution time
- powershell get all computers in ou
- vim compare 2 files
- install packages with pip from python
- install tensorflow
- set origin url git
- create a virtual environment python conda
- linux command line in windows 10
- linux multiline commet
- git checkout remote branch
- kubectl copy secret namespace
- ubuntu set sudoers to use vim