This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
text = "PYTHON" | |
print(f"{text}") | |
# PYTHON | |
print(f"{text:#<20}") | |
# PYTHON############## | |
print(f"{text:_>20}") | |
# ______________PYTHON | |
print(f"{text:.^20}") | |
# .......PYTHON....... |
ls
exa
lsd
k
pls
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
github | |
google drive | |
notion | |
zip | |
google docs | |
paper dropbox | |
disk yandex | |
web-site | |
txt |
ensures current branch is master
git checkout master
pulls all new commits made to upstream/master
git pull upstream master
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
git checkout pr-branch | |
git reset origin/master -- /path/to/file | |
git commit | |
git checkout -- . # or git reset --hard @ | |
git push |
Original https://linuxize.com/post/how-to-rename-local-and-remote-git-branch/
Updated Aug 10, 2021
You are collaborating on a project with a group of people, and you have defined a naming convention for git branches. You created a new branch, pushed the changes to the remote repository, and realized that your branch name was incorrect.
Luckily, Git allows you to rename the branch very easily using the git branch -m command
.
This guide explains how to rename local and remote Git branches.
NewerOlder