Skip to content

Instantly share code, notes, and snippets.

View vojtechjelinek's full-sized avatar

Vojtěch Jelínek vojtechjelinek

View GitHub Profile
@vojtechjelinek
vojtechjelinek / .direnvrc
Last active July 24, 2021 15:20
Virtual env files for Oppia
use_python() {
local python_root=$(pyenv root)/versions/$1
load_prefix "$python_root"
if [[ -x "$python_root/bin/python" ]]; then
layout python "$python_root/bin/python"
else
echo "Error: $python_root/bin/python can't be executed."
exit
fi
}
Checking if node.js is installed in /home/vojtech/Programming/oppia/oppia/../oppia_tools
Checking if yarn is installed in /home/vojtech/Programming/oppia/oppia/../oppia_tools
Environment setup completed.
Checking whether google-cloud-sdk is installed in /home/vojtech/Programming/oppia/oppia_tools/google-cloud-sdk-335.0.0/google-cloud-sdk
All components are up to date.
Checking if coverage is installed in /home/vojtech/Programming/oppia/oppia/../oppia_tools
Checking if pylint is installed in /home/vojtech/Programming/oppia/oppia/../oppia_tools
Checking if Pillow is installed in /home/vojtech/Programming/oppia/oppia/../oppia_tools
Checking if pylint-quotes is installed in /home/vojtech/Programming/oppia/oppia/../oppia_tools
@vojtechjelinek
vojtechjelinek / lighthouserc.json
Created May 18, 2020 20:49
Oppia Lighthouse config
{
"ci": {
"collect": {
"numberOfRuns": 1,
"startServerCommand": "python -m scripts.start --no_browser --prod_env",
"startServerReadyPattern": "default: \"GET /_ah/warmup HTTP/1.1\"",
"startServerReadyTimeout": 150000,
"url": [
"http://127.0.0.1:8181/",
"http://127.0.0.1:8181/about",

Keybase proof

I hereby claim:

  • I am vojtechjelinek on github.
  • I am vjelinek (https://keybase.io/vjelinek) on keybase.
  • I have a public key ASDUnYSV5MAjQzLGr8OKxglNGGqiAsUJJOJ246lszBqZLgo

To claim this, I am signing this object:

@vojtechjelinek
vojtechjelinek / startup.sh
Last active April 15, 2018 11:07
Startup script for eOS on Xiaomi Notebook 13
#setup touchpad
synclient ClickPad=1
synclient RightButtonAreaRight=2000
synclient RightButtonAreaBottom=1200
synclient RightButtonAreaLeft=960
synclient RightButtonAreaTop=850
#change interface size to 1.5
gsettings set org.gnome.desktop.interface scaling-factor 2
xrandr --output eDP-1 --scale 1.5x1.5 --panning 2880x1620+0+0
// ==UserScript==
// @name Průměr známek iskola.cz
// @namespace vojtin.j@gmail.com
// @version 1
// @grant none
// @include https://www.iskola.cz/?cast=Hodnoceni&akce=zak
// @include http://www.iskola.cz/?cast=Hodnoceni&akce=zak
// ==/UserScript==
console.log("script");
var lines = document.querySelectorAll(".hodnoceni .hodnoceni_znamka")