Records verwijderen uit een externe postgresql-database met behulp van een lokaal geleverde lijst

U hoeft het bestand niet naar de server te kopiëren. Wat je zoekt is de STDIN voor COPY :

cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"