# HG changeset patch # User Oleksandr Gavenko # Date 1571671382 -10800 # Node ID eede82d482886881fbb939ad0406dbb10cc7ff1b # Parent 91e5280901681bc160f3e872b0cb2066a03a4c1a Execute external file. diff -r 91e528090168 -r eede82d48288 postgres.rst --- a/postgres.rst Thu Oct 10 09:40:11 2019 +0300 +++ b/postgres.rst Mon Oct 21 18:23:02 2019 +0300 @@ -520,6 +520,10 @@ \i my.sql +Execute external file:: + + psql -f my.sql + Export data ===========