差分
このページの2つのバージョン間の差分を表示します。
次のリビジョン | 前のリビジョン | ||
r:set.proxy [2022/05/21 09:32] – 作成 watalu | r:set.proxy [2022/05/21 10:04] (現在) – watalu | ||
---|---|---|---|
行 3: | 行 3: | ||
set.proxy = function(proxy) { | set.proxy = function(proxy) { | ||
if( is.list(proxy) ) { | if( is.list(proxy) ) { | ||
+ | if(length(setdiff(names(proxy), | ||
+ | Sys.setenv(" | ||
+ | Sys.setenv(" | ||
+ | Sys.setenv(" | ||
+ | return(TRUE) | ||
+ | } else { | ||
+ | return(FALSE) | ||
+ | } | ||
+ | } else if (is.vector(proxy)) { | ||
if( length(proxy) == 3 ) { | if( length(proxy) == 3 ) { | ||
Sys.setenv(" | Sys.setenv(" | ||
Sys.setenv(" | Sys.setenv(" | ||
Sys.setenv(" | Sys.setenv(" | ||
- | | + | return(TRUE) |
+ | | ||
Sys.setenv(" | Sys.setenv(" | ||
Sys.setenv(" | Sys.setenv(" | ||
Sys.setenv(" | Sys.setenv(" | ||
+ | return(TRUE) | ||
+ | } else { | ||
+ | return(FALSE) | ||
} | } | ||
- | } else { | + | } else if (is.character(proxy)) |
Sys.setenv(" | Sys.setenv(" | ||
Sys.setenv(" | Sys.setenv(" | ||
Sys.setenv(" | Sys.setenv(" | ||
+ | return(TRUE) | ||
} | } | ||
+ | return(FALSE) | ||
} | } | ||
</ | </ | ||
行 22: | 行 37: | ||
使用法は次のとおり。 | 使用法は次のとおり。 | ||
< | < | ||
- | set.proxy(c(" | + | set.proxy(list(http=" |
+ | https=" | ||
+ | ftp=" | ||
+ | </ | ||
+ | < | ||
+ | set.proxy(c(" | ||
+ | | ||
+ | | ||
</ | </ | ||
< | < | ||
set.proxy(" | set.proxy(" | ||
</ | </ | ||
+ | プロキシの設定を解除する関数も一緒に用意しておく。 | ||
+ | < | ||
+ | unset.proxy = function() { | ||
+ | Sys.setenv(" | ||
+ | Sys.setenv(" | ||
+ | Sys.setenv(" | ||
+ | } | ||
+ | </ | ||
+ | この関数の使い方は、引数なし。 | ||
+ | < | ||
+ | unset.proxy() | ||
+ | </ | ||
+ | |||