日記帳
本ページはプロモーションが含まれています
カテゴリー
Links
blog(ブログ)マスター
アンドロイドの巣
ゼロから始めるベランダ菜園
タイトル
2024年11月
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

アーカイブ

2023年06月 のアーカイブ

タイトル

執筆:2023.06.29
編集:2023.06.29


php-cs-fixer self-update

In SelfUpdateCommand.php line 168:

rename(C:\Program...\php-cs-fixer-tmp.phar,C:\Program...\php-cs-fixer.phar):
アクセスが拒否されました。 (code: 5)


self-update [-f|--force]


windowsのrenって対象のファイルあったらいけないんじゃないかな?
どのみちコマンド自体がバッチファイルなので中にいれて自動で解決
moveコマンドを挿入。

@echo off

@if EXIST "%~dp0\php-cs-fixer-tmp.phar" move "%~dp0\php-cs-fixer-tmp.phar" "%~dp0\php-cs-fixer.phar"

"%PHP8%" "%~dp0\php-cs-fixer.phar" %*

OKって思ったけど
更新とか考えなくていいようにしたら常に最新版。👍
@echo off

@"%PHP8%" "%~dp0\php-cs-fixer.phar" self-update
@if EXIST "%~dp0\php-cs-fixer-tmp.phar" move "%~dp0\php-cs-fixer-tmp.phar" "%~dp0\php-cs-fixer.phar"

"%PHP8%" "%~dp0\php-cs-fixer.phar" %*

Win11
メディア プレーヤー
Windows メディア プレーヤー従来版

Windows10
メディアプレイヤー
Windows MediaPlayer


再生時間が短いファイルは音がでなかったり小さかったりする。

他の音楽が流れているときは、再生すると音が聞こえる

C:\Windows\Media\*.wav
chimes.wav chord.wav ding.wav などはMediaPlayerで再生しても音が出ない

結論:バグ
タイトル

執筆:2023.06.07
編集:2023.06.07


システムのプロパティ
コンピューターの開始時にページング ファイル構成に問題が発生したため、一時ページング ファイルが作成されました。全ディスク ドライブの総ページング ファイルサイズが指定したサイズよりも大きくなっている可能性があります。

理由
設定したドライブの pagefile.sys の作成失敗

原因
・USBドライブ等を指定した
・その他


㊙️仮想メモリの暗黙の大前提

設定したドライブは、Windows起動時に認識されている必要がある。

わけわかめなメッセージを長年表示していて
ある意味 そういうドライブを設定画面であたかも使えるように表示したままなので 悪質。
Linux系なら起動後でも増減できるんですけどね。そういう意味では、Windowsは悪質。


ファイルの確認方法
dir /a:s   C:\p*.sys
タイトル

執筆:2023.06.07
編集:2023.06.07


ドメイン価格 com 2023年6月 : 6/7

comドメイン

FC2ドメイン
¥1,080(税込み)
Whois情報公開代行の料金:無料

ムームードメイン
1,728 円 + サービス維持調整費
Whois情報公開代行の料金:無料

お名前.com
1,287円 + Whois情報公開代行の料金
Whois情報公開代行の料金 https://help.onamae.com/answer/8600
(※ドメインの登録期限日残日数に関わらず、ドメイン登録期限日までの年数分の料金が発生いたします。)

Google Domains
$12 USD : Google Domainsヘルプ:料金とサポート対象のドメイン末尾
Whois情報公開代行の料金:?

» 続きを読む



PR

[PR]