PHPでリダイレクトさせたいとき、header関数を使いますよね。
通常はGETリクエストにてリダイレクトされます。
それを強制的にPOSTリクエストにし、パラメータを引き継ぐことができます。

headerの書式

header(string $header, bool $replace = true, int $response_code = 0): void

POSTリクエストでパラメータを引き継いでリダイレクトするには、$response_codeに307を与えます。

header("Location: example.php", true, 307);

公式マニュアル：
https://www.php.net/manual/ja/function.header.php

Dockerの環境を構築しようとして、結構色々と手間だったので備忘録ついでに手順をご紹介します。
環境によって多少の違いがあるかもしれませんが、参考になれば幸いです。
今回構築した環境はWindows10 Home 64bitです。

Dockerの環境構築に必要なものはこちらです。

• Windows Terminal
• Visual Studio Code（VSCode）
• Git for Windows
• WSL2
• Docker

今回、VSCodeとGitのインストールについては割愛させていただきます。
ダウンロードのリンク先だけ貼っておきます。
VSCode: https://code.visualstudio.com/
Git for Windows: https://gitforwindows.org/

Windows Terminal

Windows Terminalはタブを利用してターミナルを使えるソフトになります。
Microsoft Storeからインストールします。

https://apps.microsoft.com/store/detail/windows-terminal/9N0DX20HK701?hl=ja-jp&gl=JP

VSCodeにDocker拡張機能

VSCodeにDockerの拡張機能をインストールしてください。

WSL2

Windows上でLinuxを動かせるようにする仕組みです。
DockerはLinux上で動作させるのが良いみたいです。

WSL2を有効化してWindows上にLinux環境を構築します。
続きを読む…»

VSCodeを使ってローカルリポジトリとGitHubのリモートリポジトリを連携させる方法

まずはGitHubにログインして新しいリポジトリを作成しましょう。
新しいリポジトリを作成したときに表示されるコマンドでの公式のやり方を参考にします。

リポジトリを何の設定もせずに作成したときに以下のような連携方法が表示されます。

…or create a new repository on the command line

echo "# python_practice" >> README.md
git init
git add README.md
git commit -m "first commit"
git branch -M main
git remote add origin https://github.com/ユーザー名/リポジトリ名.git
git push -u origin main

…or push an existing repository from the command line

git remote add origin https://github.com/ユーザー名/リポジトリ名.git
git branch -M main
git push -u origin main

前者の方法はローカルリポジトリが未作成の場合の方法です。
今回はローカルリポジトリは作成済のものとして後者の方法で進めていきます。
続きを読む…»

少しPythonを触ってみていたら、パッケージがないということに遭遇したのでメモ。
実例として、対象パッケージはpandasです。

まず、以下のコマンドを実行してインストール済のパッケージを確認
※pip listでも構いません

python -m pip freeze

pandasが見つかりませんでした。
なければインストールしましょう。

python -m pip install pandas

ダウンロードが始まったので、すんなりいくのかと思いきや、警告！

WARNING: You are using pip version 20.3.3; however, version 22.1.2 is available.
You should consider upgrading via the 'C:\Users\****\AppData\Local\Programs\Python\Python39\python.exe -m pip install --upgrade pip' command.

pipが古いと・・。
実行すべきコマンドを教えてくれているので、それに従いアップグレード。

python -m pip install --upgrade pip

改めてpandasをインストール

python -m pip install pandas

すると、既に入ってるよーと言われました。

インストール済のパッケージを確認。

python -m pip freeze

無事にpandasを発見しました。

コマンドでファイル検索したいとき、Linuxみたいにfindコマンドが使えたらなぁ・・と思うことがあります。
エクスプローラーで検索すればそれまでなんですが、コマンドでやりたいときがあります。

そこで見つけたのがPowerShellのGet-ChildItemコマンドです。
findに似た動作をしてくれるので試してみました。

構文はこんな感じです。

Get-ChildItem [[-Path] <string[]>] [[-Filter] <string>]  [<CommonParameters>]

このコマンドにはエイリアスが設定されており、gcilsdirでも使えます。

例）ドキュメントから拡張子.txtのファイルをサブディレクトリも含めて探す

Get-ChildItem -Path "C:\Users\user\Documents" -Filter "*.css" -Recurse -Name -File

オプション

• -Path
  検索するフォルダー（ディレクトリ）を指定します。
• -Filter
  検索条件指定
• -Recurse
  サブフォルダー（サブディレクトリ）も含めて検索
• -Name
  結果表示にファイルのパスだけを表示する
• -File
  検索対象をファイルのみに設定

詳しくは公式ドキュメントをご参照ください。
https://docs.microsoft.com/ja-jp/powershell/module/microsoft.powershell.management/get-childitem?view=powershell-7.2&viewFallbackFrom=powershell-6