xxxxxxxxxx
body {
font-family: 'Roboto Mono', monospace;
}
h1 {
margin: 20px;
text-align: center;
font-size: 18px;
}
.container {
height: 150px;
background-color: whitesmoke;
display: flex;
justify-content: center;
}
.left,
.center,
.right {
height: min-height;
width: 125px;
background-color: dodgerblue;
border: 2px solid lightgrey;
}
#baseline .center {
height: 100px;
width: 100px;
border: 5px solid turquoise;
}
#flexstart {
align-items: flex-start;
}
#flexend {
align-items: flex-end;
}
#center {
align-items: center;
}
#baseline {
align-items: baseline;
}
xxxxxxxxxx
#
# Setup the repository
#
# Install the public key for the repository (if not done previously):
sudo curl https://www.pgadmin.org/static/packages_pgadmin_org.pub | sudo apt-key add
# Create the repository configuration file:
# SEE MODIFICATION BELOW
sudo sh -c 'echo "deb https://ftp.postgresql.org/pub/pgadmin/pgadmin4/apt/jammy pgadmin4 main" > /etc/apt/sources.list.d/pgadmin4.list && apt update'
#
# Install pgAdmin
#
# Install for both desktop and web modes:
sudo apt install pgadmin4
# Install for desktop mode only:
sudo apt install pgadmin4-desktop
# Install for web mode only:
sudo apt install pgadmin4-web
# Configure the webserver, if you installed pgadmin4-web:
sudo /usr/pgadmin4/bin/setup-web.sh