ファイルをサーバーにコピーする必要はありません。あなたが探しているのはSTDINです COPYの場合 ：
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"
ファイルをサーバーにコピーする必要はありません。あなたが探しているのはSTDINです COPYの場合 ：
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"