Differences

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

--- shellsnippets [2008/06/11 12:53] – old revision restored 195.35.72.54
+++ shellsnippets [2010/11/01 16:11] – 122.179.29.74
@@ Line 1: / Line 1: @@
-====== Shell ======
+**====== Shell ======
 ===== Useful standard utilities =====
@@ Line 17: / Line 17: @@
 ===== Delete empty directories =====
-  $> find . -depth -type d -empty -exec rmdir {} \;
+  $> find . -type d -empty -delete
 ===== Execute a local shellscript on a remote host =====
-  $> cat script.sh |ssh user@host "bash -s"
+  $> cat script.sh |ssh user@host "bash -s":**Bold Text**
@@ Line 109: / Line 108: @@
 echo "The scripts absolute path is $p"
 </code>
+Or you could just use readlink, which also resolves symlinks:
+    $> readlink -f ~/.bashrc
+    /home/andi/.bashrc
 ===== Print ANSI colors =====
@@ Line 219: / Line 223: @@
   * you can put this function in a file that is sourced when you log in, for example /etc/profile.local
   * of course you can omit ''-P $3'' when you always print with your default printer
-  * on my machines, the duplex setting is ignored, it's always printing on one side of the paper
+  * on my machines, the duplex setting is ignored, it's always printing on one side of the paper**