gelbermann

import json
import sys 

def parse_json_value(value):
    try:
        json_value = json.loads(value)
        return json_value
    except json.JSONDecodeError:
        return value

gelbermann

#!/bin/bash

class=org.gnome.desktop.interface
name=text-scaling-factor
gs_status=$(gsettings get "$class" "$name")

if [[ $gs_status = 1.0 ]]; then
    echo "scaling up"
    new_gs_status=1.25
else

gelbermann

#!/bin/bash

### Requirements:
### - exa
### - ripgrep
### - column
### - updated db for `locate` command (best set up with a cron task)


function main() {

gelbermann

// ==UserScript==
// @name     Make table content link to correct course
// @version  1
// @grant    none
// @include  https://grades.cs.technion.ac.il/*
// ==/UserScript==

let allFields = Array.from(document.getElementsByClassName("black-text")).slice(0,-1);

for(let i = 0 ; i < allFields.length / 2 ; i++) {