1.5 KiB
dev command documentation
dev Command
The dev command is a helper for using docker compose.
For example, you can run a sql script via
dev sqlcmd -i ./data/funding_submission_lines.sql
assuming the file is located at /db/data/funding_submission_lines.sql
Note that the dev command uses the db service, and so only has access to folders under the top-level db directory.
Set up dev command
The dev command vastly simplifies development using docker compose. It only requires python; however, direnv and asdf will make it easier to use.
It's simply a wrapper around docker compose with the ability to quickly add custom helpers.
All commands are just strings joined together, so it's easy to add new commmands. dev prints out each command that it runs, so that you can run the command manually to debug it, or just so you learn some docker compose syntax as you go.
-
(optional) Install direnv and create an
.envrcwith#!/usr/bin/env bash PATH_add binand then run
direnv allow.You will now be able to do
dev xxxinstead ov./bin/dev xxx.
Extras
If you want to take over a directory or file in Linux you can use dev ownit <path-to-directory-or-file>.
If you are on Windows or Mac, and you want that to work, you should implement it in the bin/dev file. You might never actually need to take ownership of anything, so this might not be relevant to you.