Skip to content

Instantly share code, notes, and snippets.

View AABur's full-sized avatar

Alexander Burchenko AABur

View GitHub Profile
@AABur
AABur / python_f-strings_trick.txt
Created October 28, 2022 23:56
python_f-strings_trick
text = "PYTHON"
print(f"{text}")
# PYTHON
print(f"{text:#<20}")
# PYTHON##############
print(f"{text:_>20}")
# ______________PYTHON
print(f"{text:.^20}")
# .......PYTHON.......
@AABur
AABur / ls-comp.md
Last active August 3, 2022 11:28
ls - comparison

ls

exa

lsd

k

pls

@AABur
AABur / ru-test-assignments.txt
Created June 20, 2022 19:01
ru-test-assignments
github
google drive
pdf
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
@AABur
AABur / rem.sh
Created April 19, 2022 09:53 — forked from half2me/rem.sh
Remove file from PR
git checkout pr-branch
git reset origin/master -- /path/to/file
git commit
git checkout -- . # or git reset --hard @
git push
@AABur
AABur / rename_local_and_remote_branches.md
Last active April 15, 2022 11:56
How To Rename a Local and Remote Git Branch

Original https://linuxize.com/post/how-to-rename-local-and-remote-git-branch/

How To Rename a 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.