?? gethtml
字號:
## get_html -- get a web page from a remote server## Original Author: Jeff Korn <jlk@cs.princeton.edu># Modified for bash by Chet Ramey <chet@po.cwru.edu>## Example: get_html cnswww.cns.cwru.edu /~chet/ | moreget_html(){ local host port (($# < 2)) && { echo "usage: $FUNCNAME hostname path [port]" >&2 return 1 } host="$1" port="${3:-80}" exec 3<> /dev/tcp/$host/$port || { echo "$FUNCNAME: $host/$port: cannot connect" >&2 exit 1 } echo -e "GET $2 HTTP/1.0\n" >&3 cat <&3 exec 3<&- return 0}get_html "$@"?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -