Merge pull request #2986 from Guerki/master
Run web-search in background
This commit is contained in:
commit
23bbf3cc2b
@ -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 '+'
|
||||||
|
nohup $open_cmd "$url"
|
||||||
$open_cmd "$url"
|
rm nohup.out
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user