Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

View tilusnet's full-sized avatar

Attila Szász tilusnet

View GitHub Profile
#!/usr/bin/env python3
import zlib, os, sys
import argparse
def get_parsed_args():
parser = argparse.ArgumentParser(description='Deflate a file from stdin. \n \
Alternatively processes all files in a directory. \n \
Decompressed output is directed to stdout.'
)
parser.add_argument('-d', '--input-dir', dest='input_dir',
@tilusnet
tilusnet / parse_toc.py
Last active March 2, 2020 10:13 — forked from sakti/parse_toc.py
#!/usr/bin/env python
# parse_toc.py
from pdfminer.pdfparser import PDFParser
from pdfminer.pdfdocument import PDFDocument
def parse(filename, maxlevel):
fp = open(filename, 'rb')
parser = PDFParser(fp)
doc = PDFDocument(parser)
@tilusnet
tilusnet / terminal-session
Created September 29, 2012 13:04 — forked from nlevchuk/terminal-session
It's bash script for saving and loading gnome-terminal session. Special for Ubuntu.
#!/bin/bash
##
## This is bash script for saving and loading gnome-terminal session. Special for Ubuntu.
##
## Usage: ./terminal-session -s <name_profile> - for save session
## ./terminal-session -l <name_profile> - for load existing session
## ./terminal-session --profiles - for show existing session files
##
## Instructions:
## - Run gnome-terminal;