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