sharper tools

groff/math.tmac

@@ -22,6 +22,7 @@ define and '{ \[AN] }'
 define div '{ \[di] }'
 define grad '{ \[gr] }'
 define aleph '{ \[Ah] }'
+define forall '{ \[fa] }'
 define sen 'roman "sen"'
 define tan 'roman "tan"'
 define sec 'roman "sec"'

scripts/serve-php

@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# Look for ifconfig
+[ -e "/sbin/ifconfig" ] && CMD="/sbin/ifconfig"
+[ -e "$(which ifconfig)" ] && CMD="ifconfig"
+[ -n "$CMD" ] || error "ifconfig not found"
+
+# Use ifconfig to get ip address
+ADDR="$($CMD | grep -o '192\.168\.[0-9]*\.[0-9]*' | head -n 1)"
+
+php -S "$ADDR":8000 -t .

scripts/serve-py

@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# Look for ifconfig
+[ -e "/sbin/ifconfig" ] && CMD="/sbin/ifconfig"
+[ -e "$(which ifconfig)" ] && CMD="ifconfig"
+[ -n "$CMD" ] || error "ifconfig not found"
+
+# Use ifconfig to get ip address
+ADDR="$($CMD | grep -o '192\.168\.[0-9]*\.[0-9]*' | head -n 1)"
+
+python -m http.server -b "$ADDR"

scripts/share-local

@@ -21,7 +21,7 @@ LOC="$1" ; [ -n "$LOC" ] || help
 [ -n "$CMD" ] || error "ifconfig not found"
 
 # Use ifconfig to get ip address
-ADDR="$($CMD | grep 'broadcast' | sed 's/\s*inet\s*//g;s/\s*netmask.*//g')"
+ADDR="$($CMD | grep -o '192\.168\.[0-9]*\.[0-9]*' | head -n 1)"
 
 # If location is directory, define DIR as location,
 # otherwise, define DIR as TEMP_DIR

shell/aliasrc

@@ -33,6 +33,7 @@ alias \
     df-short="df -h | grep -v '\s/dev.*$\|\s/run.*$\|\s/boot.*$'" \
     wacom-setup-menu="wacom-setup menu" \
     notes="note list" \
+    clip="xsel -ib" \
     def="dict" \
 
 # Launch args