Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

--- howto:linux:useful_commands [2019/04/17 17:30] – harvie
+++ howto:linux:useful_commands [2022/09/29 21:44] (aktuální) – gandalf
@@ Řádek 192: / Řádek 192: @@
 <code bash>wget --spider -nd -o wget.log -e robots=off -r -p http://example.com
 grep -B 2 '404' wget.log | egrep -o 'https?://.*' | sort -u</code>
+=== Strip comments from C source code ===
+<code bash>gcc -P -fpreprocessed -dMD -E file.c</code>
+==== Set date ====
+linux, udev
+<code>
+# timedatectl set-ntp 0
+# timedatectl set-time 2022-10-01
+</code>