This is a PostgreSQL extension manager, a command-line tool to download and install PostgreSQL extensions. You can download extension supported by PGXN or Mangrove Index.
Mangrove is available on Github, AtomGIT, and PyPI. It can be installed via pip
pip3 install magv
Then execute python3 -m magv' and sudo python3 -m magv` to perform initialization. You shall see a warning message in your console after initialization.
WARNING: YOU SHOULD CHANGE YOUR CONFIGURE FILE MANUALLY AT ~/.magv/config.json TO USE MANGROVE
By the way, you may specify a shell script for Mangrove to run when the program starts. You may specify this script in your configure file using "Postscript" option, here is an example:
{
"Index-Repo" : "https://atomgit.com/haorongxu/magv-index.git",
"Postscript" : "~/test.sh"
}
You may upgrade mangrove by running pip3 install magv --upgrade. But if you are using PyPI mirror you might NOT get the latest version.
Tips: You can find the usage of
magvby executingmagv -h
python3 -m magv -s/--search [extension]
This command returns a list of extensions which names contains [extension].
e.g.
python3 -m magv -d/--download [extension]
Similar to searching command, this function also gives you a list of extensions, then you'll be asked to specify which version to download. Downloaded file is stored in ~/.magv/
sudo python3 -m magv -i/--install [extension]
This function does pretty much the same job as downloading function, but it automatically install the extension. (However, you'll need to install all required library manually). You may also install an extension from a local folder by add argument -p [path to extension].
WARNING: In case you need to install an extension from local folder with root permission, please always specify -p arugument if you ran magv -d with other users. Nevertheless, remember to set $PATH appropriately for root.
e.g.
You can upload you own extension to Mangrove Index
And you can make contribution to Mangrove by creating a PULL REQUEST.