Skip to content

Instantly share code, notes, and snippets.

Tim timsueberkrueb

  • Germany
Block or report user

Report or block timsueberkrueb

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View LambdaCalculus.idr
import Data.Vect
import Data.Fin
%default total
%access public export
-- Shortcut operator for application
infixl 7 $$
data Typ : Type where
@timsueberkrueb
timsueberkrueb / Cargo.toml
Last active Mar 2, 2019
Rust build.rs file to compile SASS to CSS
View Cargo.toml
[build-dependencies]
sass-rs = "0.2"
walkdir = "2"
@timsueberkrueb
timsueberkrueb / qmetaobject-rs.patch
Last active Jan 6, 2019
Qt & Rust & Ubuntu touch
View qmetaobject-rs.patch
diff --git a/qmetaobject/src/qmetatype.rs b/qmetaobject/src/qmetatype.rs
index bc20a98..25ff21a 100644
--- a/qmetaobject/src/qmetatype.rs
+++ b/qmetaobject/src/qmetatype.rs
@@ -258,15 +258,9 @@ impl QMetaType for QVariant {
}
qdeclare_builtin_metatype!{QModelIndex => 42}
-#[cfg(target_pointer_width = "32")]
qdeclare_builtin_metatype!{isize => 32} // That's QMetaType::Long
View build-uuitk-bionic-amd64.md
@timsueberkrueb
timsueberkrueb / childrencontainer.cpp
Created Aug 16, 2017
Simple C++-QObject with QML children (using the "data" property only)
View childrencontainer.cpp
#include "childrencontainer.h"
ChildrenContainer::ChildrenContainer(QObject *parent) : QObject(parent)
{
}
QQmlListProperty<QObject> ChildrenContainer::data()
{
return QQmlListProperty<QObject>(
@timsueberkrueb
timsueberkrueb / yoga910-fix-screen-flickering.md
Last active Nov 29, 2019
Fix Screen Flickering on Ubuntu on Lenovo Yoga 910
View yoga910-fix-screen-flickering.md

Fix Screen Flickering on Ubuntu on Lenovo Yoga 910

  • Edit /etc/default/grub

    • Add i915.enable_rc6=0 GRUB_CMDLINE_LINUX_DEFAULT
    • Run sudo update-grub
    • Reboot (optional)
  • Create and edit ~/.drirc:

@timsueberkrueb
timsueberkrueb / qt_bin_gen_snapcraft.py
Created Mar 3, 2017
[Experiment] Script generating snapcraft.yaml for a platform snap including Qt binaries from qt.io
View qt_bin_gen_snapcraft.py
#!/usr/bin/python3
import yaml
from typing import Dict
from collections import OrderedDict
# Add YAML representer to handle OrderedDict
# See http://stackoverflow.com/a/21912744
def represent_ordereddict(dumper, data):
@timsueberkrueb
timsueberkrueb / cmake_android.patch
Created Jan 9, 2017
Patch Qt 5.7 for CMake Android
View cmake_android.patch
@@ -98,7 +98,7 @@ set(Qt5_DISABLED_FEATURES
set_property(TARGET Qt5::Core APPEND PROPERTY INTERFACE_COMPILE_DEFINITIONS $<$<NOT:$<CONFIG:Debug>>:QT_NO_DEBUG>)
-set_property(TARGET Qt5::Core PROPERTY INTERFACE_COMPILE_FEATURES cxx_decltype)
+#set_property(TARGET Qt5::Core PROPERTY INTERFACE_COMPILE_FEATURES cxx_decltype)
set(QT_VISIBILITY_AVAILABLE "True")
@timsueberkrueb
timsueberkrueb / build-pyside2-ubuntu.md
Last active Oct 28, 2016
Building PySide2 on Ubuntu
View build-pyside2-ubuntu.md

Tested on Ubuntu 16.10

Clone the pyside-setup repository and init submodules

git clone https://code.qt.io/pyside/pyside-setup.git
cd pyside-setup
git submodule update --init --recursive
View fluid-setup.sh
#!/bin/bash
# Setup Fluid on Ubuntu (https://github.com/lirios/fluid)
# Tested on Ubuntu 16.04 and Ubuntu 16.10 with Qt 5.7
#
# You may use this script freely if you find it useful. Please note
# that it comes with absolutely no warranty though.
#
# MIT License
#
You can’t perform that action at this time.