Github の gh コマンドを使います。
sudo apt install gh -y
次に pie の実行ファイルをダウンロードします。
gh release download --repo php/pie --pattern 'pie.phar'
sudo mv pie.phar /usr/local/bin/pie
sudo chmod +x /usr/local/bin/pie
# 実行（これで動かない場合は次の行の php 経由で）
pie --version || php /usr/local/bin/pie --version
redis のクラスがロードされているか確認します。
php -r 'var_dump(class_exists("Redis"));'
php -r '$r=new Redis(); var_dump(method_exists($r,"connect"));'