Skip to content

Instantly share code, notes, and snippets.

View mahrous-amer's full-sized avatar
🇪🇬

Mahrous Amer mahrous-amer

🇪🇬
View GitHub Profile
@mahrous-amer
mahrous-amer / postgres-dev.sh
Created October 29, 2024 06:29
A Bash utility script for managing a local PostgreSQL Docker container with ease.
#!/bin/bash
# Environment Variables
CONTAINER_NAME="dev-postgres"
POSTGRES_IMAGE="postgres"
POSTGRES_PASSWORD="dev_password"
DATA_DIR="${HOME}/dev_postgres/"
# Display Help
Help()

Docker default address pooling

Default settings

{
 "default-address-pools" : [
 {
 "base" : "172.17.0.0/12",
 "size" : 16