Instantly share code, notes, and snippets.

Vlad Didenko didenko

View GitHub Profile
function timein ()
[ "${#}" -lt 3 ] && {
echo 'timein <dest loc> [when] <src loc> [is] <src time>' 1>&2
echo -e 'e.g.:\ntimein America/Chicago when Europe/Berlin is tomorrow 14:30' 1>&2
echo -e 'or:\ntimein Asia/Ho_Chi_Minh America/New_York 2019/01/02 08:00' 1>&2
return 1
dest=${1}; shift
sudo zypper install u2f-server u2f-host pam_u2f ykclient
View http_error.go
package main
import (
type HTTPError struct {
View gist:9f9eed12fca838c02736d2971b3b7d6a
package main
import (
type HTTPError struct {


This Contributor License Agreement is a derivative from the GitHub, Inc's version 298f3afd updated August 9, 2017, copied and modified under the individually granted CC-BY-4.0 terms on November 14, 2017.

Contributor License Agreement

The following terms are used throughout this agreement:

  • You - the person or legal entity including its affiliates asked to accept this agreement. An affiliate is any entity that controls or is controlled by the legal entity, or is under common control with it.

The license file referred to in this Developer Certificate of Origin is the file located in the root directory of this project's repository.

Developer Certificate of Origin

Version 1.1

Copyright © 2004, 2006 The Linux Foundation and its contributors.

1 Letterman Drive

# Copyright (C) 2017 Vlad Didenko
# This Source Code Form is subject to the terms
# of the Mozilla Public License, v. 2.0. If a copy
# of the MPL was not distributed with this file,
# You can obtain one at
View mermaid_sd.html
<!DOCTYPE html>
<script src=""></script>
<script>mermaid.initialize({ startOnLoad: true });</script>
@import url('');
body { width: 95%; margin: 1em auto; text-align: center; }
.note { width: 180px; }
.noteText { font-family: 'Dosis', sans-serif; }
View Powershell confirmation wrapper
powershell.exe -nologo -command "&" C:\bin\confirm.ps1 shutdown /r /t 15 /f /d p:0:0
View multiverse-configurable-margin.patch
diff --git a/assets/js/main.js b/assets/js/main.js
index 6044dc5..c27e37f 100644
--- a/assets/js/main.js
+++ b/assets/js/main.js
@@ -215,6 +215,9 @@
// Main.
var $main = $('#main');
+ var popupMargin = $main.attr("data-popup-margin");
+ if (popupMargin == 0) popupMargin = 50;