Douglas Miranda douglasmiranda

Update in 2024

In 2024 I'm actually having a good time using mupdf.

About my experience with mupdf:

It's written in C, but you can use it in many ways. Command line, python lib (pymupdf), js, and others.

I still coundn't find issues that I had with other tools and weird broken PDFs, so I'd say pretty good.

I was looking for a SVG Optimizer tool, cli tool preferably. SVG generated when converting from pdf to svg are kinda big.

More about PDF to SVG: https://gist.github.com/douglasmiranda/9c19f23c4570a7b7e02137791880ab43

SVGO - NodeJS

SVGO is awesome, you can get thin svg files from it. =]

It's a cli tool, but keep in mind it's a nodejs tool, so you have to install node, it doesn't have an official compiled binary. https://github.com/svg/svgo

Keybase proof

I hereby claim:

I am douglasmiranda on github.
I am douglasmiranda (https://keybase.io/douglasmiranda) on keybase.
I have a public key whose fingerprint is F99B 7508 C1AE 1A2C B575 6FF9 45B8 D780 7808 D37C

To claim this, I am signing this object:

	# Based on https://www.pgday.ch/common/slides/2017_ver6_pgbouncer_20k_English.pdf
	# Just connect to pgbouncer like you would connect to a postgres server
	# In this case using the port 6432
	# Run pgbouncer as the user pgbouncer (su-exec)
	[databases]
	db1 = host=postgres port=5432 dbname=db1

	[pgbouncer]
	listen_addr = *
	listen_port = 6432

	# Advanced config for NGINX
	server_tokens off;
	add_header X-XSS-Protection "1; mode=block";
	add_header X-Content-Type-Options nosniff;

	# Redirect all HTTP traffic to HTTPS
	server {
	listen 80;
	server_name www.domain.com domain.com;
	return 301 https://$host$request_uri;

	$ pipenv install gconfigs # or pip install gconfigs
	$ pipenv run python

	>>> from gconfigs import envs, configs, secrets

	>>> envs('HOME', default='/')
	'/'
	>>> configs.as_bool('DEBUG', default=False)
	False
	>>> configs('DATABASE_USER')

	<!DOCTYPE html>
	<html lang="en">
	<head>
	<meta charset="UTF-8">
	<title>Document</title>
	<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
	<link rel="stylesheet" href="https://unpkg.com/[email protected]/dist/css/bootstrap-material-design.min.css" integrity="sha384-R80DC0KVBO4GSTw+wZ5x2zn2pu4POSErBkf8/fSFhPXHxvHJydT0CSgAP2Yo2r4I" crossorigin="anonymous">
	<style>
	#mega-menu {
	margin-top: 50px;

	sudo apt update
	sudo apt upgrade -y

	# Remember: install / verify additional drivers

	sudo sh -c 'echo "deb [arch=amd64] http://dl.google.com/linux/chrome/deb/ stable main" >> /etc/apt/sources.list.d/google-chrome.list'
	wget -q -O - https://dl.google.com/linux/linux_signing_key.pub \| sudo apt-key add -
	sudo apt update

	# google chrome and chrome extension to use gnome extensions