diegoquintanav

The problem

Flask-Bootstrap does not have a footer block by default. The way of implementing one is covered in the FAQ but I think this is fairly misleading.

From the example given, it is suggested that a new template should be created as base-with-footer.html, like:

{% extends "bootstrap/base.html" %}

diegoquintanav

So I messed up with git

TL;DR

0. Everything is under control
1. Did an interactive rebase to move a commit to the base of my branch, forgot to include merge commits
2. Lost my merge commits
3. Tried to go back with git reset --hard and reflog
4. Ended up at the base of my branch, with my unrebased commits dangling after it
5. Want to move back to step 0, and hopefully do step 1 again, but including merge commits.

diegoquintanav

Given the requirements.txt file

pytest
jutge

Consider the palindrome problem in palindrome.py

diegoquintanav

Getting a postgres instance with pgadmin4 🐘 and docker-compose 🐳

0. Use Linux and have docker and docker-compose installed.
1. Create a folder
2. Put docker-compose.yml and servers.json

• Optional: Put a SQL script to be executed at first run from the db service.

3. docker-compose up -d
4. Go to 0.0.0.0:5050 and login with [email protected] and test as password
5. Access the database with the test password
6. You have a database to play!

diegoquintanav

5785, 0
11, 0,0
1, 0,0,0
1, 0,0,100,100
8, 0,1
1, 0,24
1, 0,8192
87, 0.0
49, 0.00
10, 0.000

diegoquintanav

This is a docker-compose configuration for the instructions in https://git.skewed.de/count0/graph-tool/-/wikis/installation-instructions#gnulinux, required to run the code in https://github.com/martingerlach/hSBM_Topicmodel

The repo is hosted in a private instance of gitlab, and I'm too lazy to create a PR properly.

diegoquintanav

#!/bin/bash

# converts to pdf all txt files in a folder
# and produces a single pdf of all of them together

for filename in $(ls *.txt); do
  libreoffice --convert-to "pdf" "$filename" 
done

diegoquintanav

I want docker to stop using my root partition for storing docker containers, and use a different partition instead, e.g. /home

These steps worked for me:

1. Stop all containers sudo docker stop $(docker ps -a -q)
2. Stop docker sudo service docker stop
3. Copy docker directory cp -r /var/lib/docker/* /home/docker/
4. Unmount all old docker overlays umount -f /var/lib/docker/overlay/ and umount -f /var/lib/docker/containers/*/mounts/shm
5. Add or update /etc/docker/daemon.json with

diegoquintanav

import argparse
import json
import os
import re
import threading
from pathlib import Path

import numpy as np
import pandas as pd
import requests

diegoquintanav

# needs streamlit and python>=3.7

import torch
import urllib

import altair as alt
import dataclasses
import matplotlib.pyplot as plt
import matplotlib.ticker as ticker
import numpy as np