blog

Mind & Heart

Sun, 13 Sep 2026 00:00:00 +0000

PL 🇵🇱

Umysł: genialne narzędzie do przetrwania.

Serce: genialny sposób na życie.

– Mirosław Wilczek

EN 🇬🇧

Mind: a brilliant tool for survival.

Heart: a brilliant way to live.

– Mirosław Wilczek

CZ 🇨🇿

Mysl: geniální nástroj k přežití.

Srdce: geniální způsob života.

– Mirosław Wilczek

Energy is incredibly important

Sun, 13 Sep 2026 00:00:00 +0000

PL 🇵🇱

Energia jest szalenie ważna.

Deprecjonując jedną z form energii, deprecjonujemy energię w każdej jej formie.

Pieniądze to jedna z form energii.

– Mirosław Wilczek

EN 🇬🇧

Energy is incredibly important.

By devaluing one form of energy, we devalue energy in every form it takes.

Money is one form of energy.

– Mirosław Wilczek

CZ 🇨🇿

Energie je nesmírně důležitá.

Znevažováním jedné formy energie znevažujeme energii ve všech jejích podobách.

Peníze jsou jednou z forem energie.

– Mirosław Wilczek

GIT inspect ignore rules

Wed, 26 Mar 2025 00:00:00 +0000

For complex project structure, may happen that multiple ‘.gitignore’ files or complex rules introduces unexpected ignore behaviour. Fortunately GIT provides methods to detect which rule affects file and can list all currently ignored files (or directories).

List all currently ignored files and folders

git status --ignored

Check which rule affects file

# Check single file
git check-ignore -v -- path/to/my/file

# or inspect all files in given directory
git check-ignore -v -- *

GIT change commit author

Mon, 25 Nov 2024 00:00:00 +0000

Sometimes, if we forget to correctly configure GIT, default (or misconfigured) author credentials are saved into one or more commits.

Sometimes it is not an issue, but for some projects, external repository may disallow pushing.

Below there are few methods of how to repair commit author.

Changing author of the last commit

# Just reset to current default
git commit --amend --reset-author --no-edit

# Reset to current default, but let me edit commit message
git commit --amend --reset-author

# Just set to given value
git commit --amend --author "Foo Bar <foo.bar@net.com>" --no-edit

# Set to given value, but let me edit commit message
git commit --amend --author "Foo Bar <foo.bar@net.com>"

Changing author of multiple commits

# Reset last 10 commits to default author
git rebase -i HEAD~10 --exec "git commit --amend --reset-author --no-edit"

# Reset last 10 commits to given value
git rebase -i HEAD~10 --exec "git commit --amend --author 'Foo Bar <foo.bar@net.com>' --no-edit"

BASH Loops

Thu, 22 Feb 2024 00:00:00 +0000

Bash supports both while and for loop. Each has some variants to help us do our work better!

Control statements

Besides loop condition, both while and for loop, undesrtands common control commands:

break - finish loop execution immediately
continue - jump to next iteration now

While loop

While loop with condition

foo=1
while [ $x -le 10 ]
do
  echo "Iteration ${foo}"
  foo=$(( $foo + 1 ))
done

Dead while loop

Loop without condition is a dead loop

while :
do
	echo "I' the DEAD LOOP!"
done

echo "Unreachable code"

Unless there is a break in it

while :
do
	break
    echo "Unreachable code"
done

echo "I'm free!"

For loop

With explicit list of items

for i in 1 2 3 4 5 6 7 8 9 10
do
   echo "Iteration ${i}"
done

For loop with range

for i in {1..10}
do
    echo "Iteration ${i}"
done

every third element

for i in {1..10..3}
do
    echo "Iteration ${i}"
done

C style! 💃

for (( i=1; i<=10; i++ ))
do
   echo "Iteration ${i}"
done

Dead loop again!

for (( ; ; ))
do
	echo "I' the DEAD LOOP!"
done

echo "Unreachable code"

But we can use break just like in while loop