git remote stop tracking and replace comma to dot by re

Теги:

How do you stop tracking a remote branch in Git

git branch --unset-upstream

можно удалить локальную ветку, которая тречит удаленную

git branch -d -r origin/<remote branch name>

сорс

Избавиться от ссылок на удаленные ветки можно тиак:

git fetch origin --prune

Удалить все ветки, которых нет удаленно можно так:

git remote prune origin

Правда гит еще 30 дней сохраняет неявные ссылки после удаления, поэтому можно вопспользоваться сборщиком мусора

git reflog expire --expire=1.minute refs/heads/main
git fsck –unreachable
git gc

match float with comma and then replace comma with dot

import re
with open('input.txt', 'r+') as f:
    newf = re.sub(r'(\s+[+-]?[0-9]+),([0-9]+\s+)',r'\1.\2', f.read())
    f.seek(0)
    f.write(newf)

1000101 33434,34 1992 [3,41,4,5]
12,43 129012 91 [1,2]
1000101 33434,34 1992 [3, 41,4,5]

1000101 33434.34 1992 [3,41,4,5]
12.43 129012 91 [1,2]
1000101 33434.34 1992 [3, 41,4,5]

source

Смотри еще: