Differences

This shows you the differences between two versions of the page.

--- linux [2021/01/28 05:46] – created - external edit 127.0.0.1
+++ linux [2026/06/07 08:14] (current) – jhagstrand
@@ Line 16: / Line 16: @@
 https://docs.google.com/document/d/1OktYxaS10zayaata3V_9Hhi7ToUYuC1NlrKYlcwjfIc/edit#
+Linux Cheatsheet.\\
+These are commands that I use often and always have to look up the syntax.
+  $ grep -r "progressive" .
+  $ find . -name *.plugin
+  $ find / -name Wire.h 2>&1 | grep -v "Permission denied"
+  $ python3 -m http.server > /dev/null 2>&1 &  # fg + ctrl-C to kill before window close
+  $ ln -s webprod/homepage/homepage public_html
+  $ unlink public_html
+  $ rm public_html   # same as unlink
+  $ rm public_html/  # error: trailing slash follows the link and deletes all files
 [[Documentation]]