|
@@ -1,7 +1,6 @@
|
|
# web_search from terminal
|
|
# web_search from terminal
|
|
|
|
|
|
function web_search() {
|
|
function web_search() {
|
|
-
|
|
|
|
# get the open command
|
|
# get the open command
|
|
local open_cmd
|
|
local open_cmd
|
|
if [[ $(uname -s) == 'Darwin' ]]; then
|
|
if [[ $(uname -s) == 'Darwin' ]]; then
|
|
@@ -38,8 +37,8 @@ function web_search() {
|
|
done
|
|
done
|
|
|
|
|
|
url="${url%?}" # remove the last '+'
|
|
url="${url%?}" # remove the last '+'
|
|
-
|
|
|
|
- $open_cmd "$url"
|
|
|
|
|
|
+ nohup $open_cmd "$url"
|
|
|
|
+ rm nohup.out
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|