Skip to content

Instantly share code, notes, and snippets.

View introt's full-sized avatar

introt

View GitHub Profile
@introt
introt / hello.cs
Created January 22, 2018 16:06
Mono gtk helloworld
// http://www.mono-project.com/docs/getting-started/mono-basics/
using Gtk;
using System;
class Hello
{
static void Main ()
{
Application.Init ();
@introt
introt / bookmarklet
Last active March 30, 2021 08:23
Aiforia Cloud: set document.title to image name
javascript:void(document.title=document.getElementsByClassName("ng-binding")[0].textContent)
@introt
introt / cherry-pick.txt
Created May 29, 2021 18:18
git: fetching someone else's branch, basing a new branch on it & cherry-picking commits across all branches
# assumptions: origin == our repo/fork && being inside it
git remote add TheirUsername git@github.com:TheirUsername/repo-name.git
git fetch TheirUsername
git checkout -b our-new-branch TheirUsername/their-branch
git cherry-pick commit-hash
git push origin
@introt
introt / Journal.txt
Created August 16, 2021 07:05
Zim wiki journal template re:#1547
[% IF journal_plugin.page_type == 'day' -%]
======= [% strftime("%A %d %b %Y", journal_plugin.date) %] =======
[%- ELSIF journal_plugin.page_type == 'week' -%]
======= [% strfcal("Viikko %W %Y", journal_plugin.date) %] =======
[% strftime("%d %B", journal_plugin.date) %] to [% strftime("%d %B", journal_plugin.end_date) %]
[% FOREACH day IN journal_plugin.days() %]
=== [% strftime("%A %d %B", day) %] ===
@introt
introt / find_tagged_pages_wip.py
Created September 28, 2021 18:39 — forked from muguu/find_tagged_pages_wip.py
Plugin for ZimWiki >=0.67 (Work in progress)
# -*- coding: utf-8 -*-
# Plugin for ZimWiki: Find tagged pages.
# Copyright 2018 Murat Güven <muratg@online.de>
# Copyright ZimWiki: 2009-2018 Jaap Karssenberg <jaap.karssenberg@gmail.com>
# V1.251 for Zim >= 0.67
# Change Log
# V1.251 Rework on search
@introt
introt / autocompletion.py
Created September 28, 2021 18:39 — forked from muguu/autocompletion.py
Plugin for ZimWiki V0.66 or greater
#!/usr/bin/env python
# -*- coding: utf-8 -*-
# Copyright 2017 Murat Guven <muratg@online.de>
# This is a plugin for ZimWiki from Jaap Karssenberg <jaap.karssenberg@gmail.com>
#
# This plugin provides auto completion for tags similiar to code completion in code editors.
# When you press the @ key, a list of available tags are shown and can be selected.
# The {AutoCompletion} class can be used to provide auto completion on any given
@introt
introt / taskdate.py
Created September 28, 2021 18:39 — forked from muguu/taskdate.py
Plugin for ZimWiki V0.66 or greater
#!/usr/bin/env python
# -*- coding: utf-8 -*-
# Copyright 2017 Murat Guven <muratg@online.de>
# This taskdate plugin provides a date for tasks in start / due date
# format for ZimWiki from Jaap Karssenberg
# V0.80 for Zim > 0.65
# Change Log
# V0.80: Added Calendar within expander. Mouse selection of start / due date within calendar
@introt
introt / tasklist.py
Created September 28, 2021 18:39 — forked from muguu/tasklist.py
Plugin for Zim Wiki >=V0.61 and < V0.66
# -*- coding: utf-8 -*-
# Copyright 2009-2017 Jaap Karssenberg <jaap.karssenberg@gmail.com>
# Copyright 2017 Murat Guven <muratg@online.de>
# This is a plugin for ZimWiki from Jaap Karssenberg <jaap.karssenberg@gmail.com>
#
#
# Additions to the original tasklist plugin by Murat Guven <muratg@online.de>
# V1.99 Taskcomment: Added option to add / remove date, added all styles for the comment string and the comment
@introt
introt / search_tagged_pages.py
Created September 28, 2021 18:39 — forked from muguu/search_tagged_pages.py
Plugin for ZimWiki >0.61 and < V0.66
# -*- coding: utf-8 -*-
# Plugin for ZimWiki: Search tagged pages.
# Copyright 2015 Murat Güven <muratg@online.de>
# Copyright ZimWiki: 2009-2013 Jaap Karssenberg <jaap.karssenberg@gmail.com>
# V1.15
# Change Log
# V1.15: If cursor is at empty line, don't go back to previous line / word and lookup a tag.
@introt
introt / find_tagged_pages.py
Created September 28, 2021 18:39 — forked from muguu/find_tagged_pages.py
Plugin for ZimWiki >= V0.67 (formerly search_tagged_pages)
# -*- coding: utf-8 -*-
# Plugin for ZimWiki: Find tagged pages.
# Copyright 2018 Murat Güven <muratg@online.de>
# Copyright ZimWiki: 2009-2013 Jaap Karssenberg <jaap.karssenberg@gmail.com>
# V1.20
# Change Log
# V1.20 Update to support ZimWiki >067