Skip to content

Instantly share code, notes, and snippets.

git log --all --graph --date="format:%d.%m.%Y %H:%M" --pretty="%C(auto,yellow)%h %C(green)%an <%ae> %Cblue%ad %C(auto)%d %C(reset)%s"
@f100024
f100024 / gnome-title-bar.md
Last active March 17, 2024 22:09
Make your Gnome title bar smaller

https://blog.samalik.com/make-your-gnome-title-bar-smaller-fedora-24-update/

I wrote similar post before about making the massive title bar in Gnome smaller. But it doesn’t work anymore in Fedora 24! Don’t worry, I have created an update for you – so you can enjoy more space on your desktop again! gnome-window-title-barAll you need to do is to put the following css code into ~/.config/gtk-3.0/gtk.css

Also works for gnome 3.28 on ubuntu 18.04.2 LTS

window.ssd headerbar.titlebar {
#!/usr/bin/python
# How to test sentry.
# pip install --upgrade pip requests raven
from raven import Client
from raven.transport.requests import RequestsHTTPTransport
import requests
import logging
@f100024
f100024 / hover-export-zone-file.md
Created September 20, 2018 09:49
Export Hover.com dns zone file

Export Hover.com dns zone file

Disclaimer. In fact it should works. Sep 2018

Problem

If you are using hover.com once a day you may want export your dns zone file. But seems it is not available for now.

I've found some solutions:

@f100024
f100024 / gist:bd970dc5b7ae3a9c0ecf11d478907f58
Last active April 11, 2019 14:02
Unknown SSL protocol error in connection to any site through HTTPS using strongswan-client on debian 9 (stretch) ## Prerequisities

Unknown SSL protocol error in connection to any site through HTTPS using strongswan-client on debian 9 (stretch)

Prerequisites


debian 9.5 (stretch)
charon-cmd, strongSwan 5.5.1

# ifconfig
@f100024
f100024 / gist:12a3a574c459eae78a674bc2d772ba02
Created December 11, 2017 13:58
Windows batch file date stamp
::
:: Thanks to: https://stackoverflow.com/questions/19832669/inserting-date-time-stamp-in-file-name-using-bat-script/19835038#19835038
::
@echo off
for /f "tokens=2 delims==" %%a in ('wmic OS Get localdatetime /value') do set "dt=%%a"
set "YY=%dt:~2,2%" & set "YYYY=%dt:~0,4%" & set "MM=%dt:~4,2%" & set "DD=%dt:~6,2%"
set "HH=%dt:~8,2%" & set "Min=%dt:~10,2%" & set "Sec=%dt:~12,2%"
set "datestamp=%YYYY%%MM%%DD%" & set "timestamp=%HH%%Min%%Sec%"
@f100024
f100024 / gist:ca4b30110792f20a7bfe555d32b06c1e
Last active December 8, 2017 12:23
The fastest remote directory rsync over ssh archival I can muster (40MB/s over 1gb NICs)

The fastest remote directory rsync over ssh archival I can muster (40MB/s over 1gb NICs)

This creates an archive that does the following:

rsync (Everyone seems to like -z, but it is much slower for me)

  • a: archive mode - rescursive, preserves owner, preserves permissions, preserves modification times, preserves group, copies symlinks as symlinks, preserves device files.
  • H: preserves hard-links
  • A: preserves ACLs