Skip to content

Instantly share code, notes, and snippets.

View JosefJezek's full-sized avatar

Josef Ježek JosefJezek

  • Heart of Europe
View GitHub Profile
@JosefJezek
JosefJezek / zenoss-fujitsu.md
Created December 18, 2013 08:59
Zenoss and Fujitsu PRIMERGY server with ServerView SNMP Agent
@JosefJezek
JosefJezek / cisco-anyconnect-profile.md
Created July 2, 2014 11:00
Cisco AnyConnect VPN Profile

Cisco AnyConnect VPN Profile

Router IOS

webvpn import svc profile profile-example usbflash0:example.xml
webvpn context ctx-example
policy group vpn-group-example
svc profile profile-example
@JosefJezek
JosefJezek / how-to-use-pelican.md
Last active April 2, 2024 15:12
How to use Pelican on GitHub Pages
@JosefJezek
JosefJezek / eps-to-svg.md
Last active March 19, 2024 07:48
EPS to SVG Conversion using Inkscape

EPS to SVG using Inkscape Gittip

Author: Josef Jezek

# Install Inkscape on Ubuntu
sudo apt-get install inkscape
@JosefJezek
JosefJezek / ffmpeg GIF to MP4.MD
Created July 7, 2022 15:00 — forked from gvoze32/ffmpeg GIF to MP4.MD
Convert animated GIF to MP4 using ffmpeg in terminal.

To convert animation GIF to MP4 by ffmpeg, use the following command

ffmpeg -i animated.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" video.mp4

Description

movflags – This option optimizes the structure of the MP4 file so the browser can load it as quickly as possible.

pix_fmt – MP4 videos store pixels in different formats. We include this option to specify a specific format which has maximum compatibility across all browsers.

@JosefJezek
JosefJezek / backup-glpi.sh
Created April 9, 2014 09:24
Backup script for GLPI
#!/bin/bash
# Backup script for GLPI
GLPI_DIR='/usr/share/glpi';
BACKUP_DIR='/root/backup';
LOGFILE='/var/log/glpi/backup.log';
DBUSER=root
DBPASS=
@JosefJezek
JosefJezek / wp-installation.md
Created April 17, 2014 16:08
Automated Wordpress Installation on Ubuntu / Debian