Guest User

Untitled

a guest
May 28th, 2018
98
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.51 KB | None | 0 0
  1. #!/bin/sh -e
  2. #
  3. # Usage: browser
  4. # pipe html to a browser
  5. # e.g.
  6. # $ echo "<h1>hi mom!</h1>" | browser
  7. # $ ron -5 man/rip.5.ron | browser
  8.  
  9. do_open() {
  10. if which xdg-open >/dev/null; then
  11. xdg-open $1
  12. else
  13. open $1
  14. fi
  15. }
  16.  
  17. if [ -t 0 ]; then
  18. if [ -n "$1" ]; then
  19. do_open $1
  20. else
  21. cat <<usage
  22. Usage: browser
  23. pipe html to a browser
  24.  
  25. $ echo '<h1>hi mom!</h1>' | browser
  26. $ ron -5 man/rip.5.ron | browser
  27. usage
  28. fi
  29. else
  30. f="/tmp/browser.$RANDOM.html"
  31. cat /dev/stdin > $f
  32. do_open $f
  33. fi
Add Comment
Please, Sign In to add comment