Skip to content

Instantly share code, notes, and snippets.

View HappyTetrahedron's full-sized avatar

Aline Abler HappyTetrahedron

139 followers · 3 following
View GitHub Profile
@HappyTetrahedron
HappyTetrahedron / switchworkspace.sh
Created June 9, 2020 09:55
Script to replicate xmonad multi-monitor behaviour in i3 (configure i3 hotkeys to call this script instead of directly switching workspace)
#!/bin/bash
# get relevant info from i3-msg
WORKSPACEJSON="$(i3-msg -t get_workspaces)"
WORKSPACES="$(echo "$WORKSPACEJSON" | jshon -a -e name -u)"
MONITORS="$(echo "$WORKSPACEJSON" | jshon -a -e output -u)"
FOCUSED="$(echo "$WORKSPACEJSON" | jshon -a -e focused)"
VISIBLE="$(echo "$WORKSPACEJSON" | jshon -a -e visible)"
@HappyTetrahedron
HappyTetrahedron / syscon2019.md
Last active February 3, 2020 08:35
Selected exam questions for system construction

Some exam questions for System Construction

1. Assume you use the Raspberry Pi as a computer to monitor a flight. You have good basic runtime system such as Minos in place but you don’t know about the quality of the code written for the different realitime task . In particular you want to be protected agains getting stuck in an infinite loop. (a) is this at all a problem in Minos? (b) How would you protect yourself?

In Minos, the assumption is made that all tasks run to completion within their