2020-02-08

AndroidのChromeで「ホーム画面に追加」が失敗したときにやること

Chromeのキャッシュを削除して端末を再起動する

1.キャッシュの削除

メニュー＞履歴>閲覧履歴データを削除

2.再起動

2019-04-18

Hyper-Vからproxyを使ってapt-getなど

環境

proxyを使ってInternetを使っている環境
proxyを使わないときは普通に使いたい

操作

シェルで
環境変数を設定
sudoをproxyを使う設定で実行

実行例

export http_proxy=http://{proxy server:port}
sudo -E apt-get update
sudo -E apt-get upgrade

ちなみに、Raspbianで試しました。

2019-04-15

PowerShellの起動時にproxyを設定するスクリプト（切替式）

背景

接続環境によりproxyを使ったり使わなかったりするので、そのたびに設定するのが面倒だったので、起動時のスクリプトにした。

概要

PowerShellの起動時に実行されるprofileにスクリプトを書く PowerShellの起動時にproxyを使うか使わないか選択する

スクリプトの配置

PowerShellの以下のコマンドでprofileの場所を確認する

$profile

たぶん~\Documents\WindowsPowerShell\Microsoft.PowerShell_profile.ps1などになると思うので、なければフォルダとファイルを作成する

スクリプト

$flag = $FALSE
do {
    $input = Read-Host "Use proxy? (y/n)"
    if ($input -eq "y") {
        $env:HTTP_PROXY="{proxy server:port}"
        $env:HTTPS_PROXY="{proxy server:port}"
        Write-Output "proxy"
        $flag = $TRUE
    } elseif ($input -eq "n") {
        Write-Output "no proxy"
        $flag = $TRUE
    } else {
        Write-Output "error"
    }
} while ($flag -eq $FALSE)

実行イメージ

PowerShellを起動

Windows PowerShell
Copyright (C) Microsoft Corporation. All rights reserved.

Use proxy? (y/n): y
proxy
パーソナル プロファイルとシステム プロファイルの読み込みにかかった時間は 6994 ミリ秒です。
>