pgtool
changeset 102 fda45bdfd68d
parent 101 2a2d0d5df03b
child 104 d8ff52a0390f
equal deleted inserted replaced
101:2a2d0d5df03b 102:fda45bdfd68d
     1 #!/usr/bin/env python3
     1 #!/usr/bin/env python3
     2 
     2 
     3 """
     3 """
     4 Wrapper script for pgtoolkit tools.
     4 Wrapper script for pgtoolkit tools.
     5 
     5 
     6 Usage:
     6 Usage
       
     7 -----
     7 
     8 
     8     pgtool --list
     9     pgtool --list
     9         List all available tools.
    10         List all available tools.
    10 
    11 
    11     pgtool <tool_name> <arg_1> <arg_2> ...
    12     pgtool <tool_name> <arg_1> <arg_2> ...
    14     pgtool schemadiff db1 db2
    15     pgtool schemadiff db1 db2
    15         E.g. run schemadiff between db1 and db2.
    16         E.g. run schemadiff between db1 and db2.
    16 
    17 
    17     pgtool schemadiff --help
    18     pgtool schemadiff --help
    18         Get help for tool parameters.
    19         Get help for tool parameters.
       
    20 
       
    21 Configuration
       
    22 -------------
       
    23 
       
    24 Global pgtoolkit configuration:
       
    25     /etc/pgtoolkit.conf
       
    26 
       
    27 Local configuration:
       
    28     ./pgtoolkit.conf
       
    29 
       
    30 Additional config file can be loaded using -c parameter (after tool name).
       
    31 
       
    32 Configuration from all present files is loaded in above order,
       
    33 later value overrides previous value. Resulting config file priority is:
       
    34 
       
    35    1) parameter
       
    36    2) local
       
    37    3) global
    19 
    38 
    20 """
    39 """
    21 
    40 
    22 import pgtoolkit.tools
    41 import pgtoolkit.tools
    23 import sys
    42 import sys