Uczę się Coqa i książki, z której się uczę, (CPDT) intensywnie używa auto w dowodach. Odkąd się uczę, myślę, że może mi się przydać zobaczenie, co dokładnie robi auto pod maską (im mniej magii na pocz
Czy istnieje sposób, aby przywrócić echo skryptu ruby (lub logować się do pliku mogę wykonać polecenie -f) przy każdym uruchomionym wierszu, podobnie do bash -x lub @echo w systemie DOS? ruby -w n
Zastanawiam się, że git clone --verbose nie jest zbyt szczegółowy. Wyjście wykonywania polecenia jest następujące: $ git clone --verbose <repo>
remote: Counting objects: 184, done
remote: Finding so