ここは何?

その昔、KemaNetというソフトウェアを作っていた人のサイトです。

を全力で愛でるためのサイトです。

Blogっぽいもの

<< 2024.4 >>
[Stories]
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30        

2024/4/9 (火)

mr/free_paper

参考

01 北海道

03 岩手

05 秋田

06 山形

11 埼玉

15 新潟

22 静岡

23 愛知

その他

2024/4/8 (月)

mr/社用PCハック

困ったこと

ゼロトラストとやらで会社のPC(Windows10)の自由度が低下しました

こんな状況でも出来ることはあります

環境変数の編集ダイアログを開きたい

設定 > システム > 詳細情報 > システムの詳細設定 ←ここで管理者パスワードを求められて行く手を阻まれます

なので直接ダイアログを表示しましょう。Win-R(ファイル名を指定して実行)で

 rundll32 sysdm.cpl,EditEnvironmentVariables

あるいはコマンドプロンプトで

 setx 変数名 値

setx だと環境変数の削除が出来ないようです(ヌル値を設定できるけど、環境変数自体は残ってしまう)

Cygwin 使いたい

パラメータ付きでインストーラを起動(コマンドプロンプトで)

setup-x86_64.exe --no-admin

インストール後の設定

社内プロキシの証明書をCygwinに導入

cer=/path/to/ca.cer
cp -v "$cer" /etc/pki/ca-trust/source/anchors/
bash -x /usr/bin/update-ca-trust -o /etc/pki/ca-trust/extracted  # --no-admin の場合

ユーザー名を変える

$ mkpasswd -c | sed -E 's/^.[^:]+/お好きなユーザ名/' | tee /etc/passwd
# cygwinを再起動すると変わっている

Permission denied

こんなエラーが出たら

$ teip --help
bash: /usr/local/bin/teip: Permission denied

exeファイルをエクスプローラーで右クリック

で使えることがあります。

動作実績

cygwin から shellcheck.exe 使いたい

bash:

shellcheck(){
  args=()
  for arg in "$@"; do args+=("$(cygpath -w -- "$arg")"); done
  command shellcheck "${args[@]}"
}

vim コマンドモード:

 !shellcheck "$(cygpath -w "%")"

scoop 使いたい

powershellで

Set-ExecutionPolicy -ExecutionPolicy RemoteSigned -Scope CurrentUser
cd $env:LocalAppData
irm get.scoop.sh -outfile 'install.ps1'
.\install.ps1 -ScoopDir "$env:LocalAppData\scoop"

ScoopDir は暗号化対象外のディレクトリを指定する

2024/4/5 (金)

mr/cygpathをmingw形式で

cygwinのPATHをmingwのPATHに変換する

シェル関数にしてみました

minpath ()
{
    cygpath -a -m "$@" | sed -E 's;([A-Z]):;/\l\1;'
}

利用例

$ minpath $(find)
/c/Users/bubka/AppData/Local/cygwin64/home/bubka/work/dotfiles/apps
/c/Users/bubka/AppData/Local/cygwin64/home/bubka/work/dotfiles/apps/docker
/c/Users/bubka/AppData/Local/cygwin64/home/bubka/work/dotfiles/apps/podman
/c/Users/bubka/AppData/Local/cygwin64/home/bubka/work/dotfiles/apps/vagrant

トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS