postgresのphppgadminでエクスポートができない

これはなんか、昔から何度も遭遇したりする

そういう時、無理にphppgadminからエクスポートしようとすると結構大変で時間がとられてしまう

phppgadminでなくコマンドでログインできる環境ならコマンドのエクスポートで瞬時にとれるので、そうしよう