#!/bin/bash
if [ "x$1" = "x" ]; then
echo "usage: $0 URL"
echo " open URL in SageNotebook"
exit
fi
BROWSER=`readlink -n "$0" 2> /dev/null` || \
BROWSER=`realpath "$0" 2> /dev/null` || \
BROWSER="$0"
BROWSER="${SAGE_BROWSER%.app*}.app"
open -a "$BROWSER" "$1"