Anda tidak perlu menyalin file ke server. Yang Anda cari adalah STDIN untuk COPY :
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"
Anda tidak perlu menyalin file ke server. Yang Anda cari adalah STDIN untuk COPY :
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"