Skip to content

Instantly share code, notes, and snippets.


Linus Karsai karsai5

View GitHub Profile
View DB files
Slides w6:
Case study:
Video Tutorial on wk8 Web Application:
Sample Exam:
Linus' Tutor Survey:
EOS Survey:
View familytree.dl
father(james, patrick).
father(pjk, joseph).
father(joseph, jfk).
father(joseph, bobby).
father(joseph, eunice).
father(jfk, caroline).
father(jfk, jfk_jr).
mother(maria, patrick).
mother(bridget, pjk).
View photovideoshop.dl
% Week 2 Tutorial, PhotoVide-Shop
% Shows the parent child relationship between categories
% category(parent, child)
% Represents how many items are available in a category
% category_entries(category, number_of_items)
category(catalog, video).
category(catalog, photography).

Keybase proof

I hereby claim:

  • I am karsai5 on github.
  • I am karsai5 ( on keybase.
  • I have a public key whose fingerprint is B37C E899 DEF0 FBAA FED0 4E9A 3DFF 42ED 8A79 1 CC0

To claim this, I am signing this object:

karsai5 /
Created January 5, 2015 00:31
Gcalcli i3 status bar
#!/usr/bin/env python
# -*- coding: utf-8 -*-
# This script is a simple wrapper which prefixes each i3status line with custom
# information. It is a python reimplementation of:
# To use it, ensure your ~/.i3status.conf contains this line:
# output_format = "i3bar"
# in the 'general' section.
karsai5 / Empty line remover
Created August 10, 2013 00:29
Removes blank lines from all html, php and css files in a directory. Sometimes when uploading multiple files to a server I find blank lines are inserted between each line of code; this script is to remove those unnecessary lines of whitespace.
View Empty line remover
#! /bin/bash
for file in $(find . -name '*.html' -o -name '*.php' -o '*.css');
sed '/^$/d' $file > tt
mv tt $file
echo "Removing empty lines from file - $file"