git different key/account/user

git config core.sshCommand “ssh -i ~/.ssh/some_key -F /dev/null” or ssh-agent bash -c ‘ssh-add ~/.ssh/some_key; git pull git@some.server:some/repo.git’ and git config user.name “UserName” git config user.email “userNameEmail@someWhereIn.net” ~/.ssh/config Host github.public HostName github.com IdentityFile ~/.ssh/id_ed25519 Host github.personal…

funny git commit

var=$(echo $(wget whatthecommit.com -q -O -) | tr -d ‘\n’ | sed -e ‘s/.*<p>\(.*\)<\/p>.*/\1/’ | awk ‘{split($0,a,”</p>”); print a[1]}’) git commit -e -m “${var}”   github.com/made2591/funny-commit/blob/master/funnycommit.sh whatthecommit.com

php locale month

var_dump((function (): string { setlocale(LC_TIME, ‘de_DE’); return date(‘F’, mktime(0, 0, 0, (int)date(‘m’))); })());

Windows 11 tools / check

Windows 11 # ChceckHealth: DISM /Online /Cleanup-Image /CheckHealth # ScanHealth: DISM /Online /Cleanup-Image /ScanHealth # RestoreHealth: DISM /Online /Cleanup-Image /RestoreHealth # System File Checker sfc /scannow # logs %windir%\Logs\CBS\CBS.log %windir%\Logs\DISM\dism.log.