差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン前のリビジョン | |||
| r:set.proxy [2022/05/21 09:57] – watalu | r:set.proxy [2022/05/21 10:04] (現在) – watalu | ||
|---|---|---|---|
| 行 48: | 行 48: | ||
| < | < | ||
| set.proxy(" | set.proxy(" | ||
| + | </ | ||
| + | プロキシの設定を解除する関数も一緒に用意しておく。 | ||
| + | < | ||
| + | unset.proxy = function() { | ||
| + | Sys.setenv(" | ||
| + | Sys.setenv(" | ||
| + | Sys.setenv(" | ||
| + | } | ||
| + | </ | ||
| + | この関数の使い方は、引数なし。 | ||
| + | < | ||
| + | unset.proxy() | ||
| </ | </ | ||
| + | |||