Skip to content

Instantly share code, notes, and snippets.

@tberghuis
tberghuis / kotlin_docs_find_highlight.js
Last active January 18, 2025 18:32
kotlin docs css show scroll bar find highlight all matches
// ==UserScript==
// @name Kotlin Docs find all highlight scrollbar
// @namespace Violentmonkey Scripts
// @match https://www.jetbrains.com/help/*
// @grant GM_addStyle
// @version 1.0
// @author -
// @description 18/01/2025, 12:49:35
// ==/UserScript==
@tberghuis
tberghuis / fix bluetooth mouse
Created October 14, 2019 06:19
fix bluetooth mouse
from https://askubuntu.com/questions/1167089/microsoft-bluetooth-mouse-3600-lags-in-ubuntu-18-04-03-lts/1179244#1179244
You have to edit the following file:
sudo nano /var/lib/bluetooth/<MAC of BT adapter>/<MAC of BT Mouse>/info
At the end of the file, add the section:
[ConnectionParameters]
MinInterval=6
MaxInterval=7
https://askubuntu.com/questions/1031275/increase-swap-in-ubuntu-18-04-under-lvm-and-encrypted-file-system
sudo swapoff -a
# 10G
sudo dd if=/dev/zero of=/swapfile bs=1024 count=10240k
sudo mkswap /swapfile
sudo chown root:root /swapfile
@tberghuis
tberghuis / android studio setup 18.04.txt
Last active February 3, 2019 04:45
android studio setup 18.04
# install kvm
sudo apt install qemu-kvm
# add user to kvm group
sudo adduser [YOUR_LOGIN] kvm
# install libraries
sudo apt-get install libc6:i386 libncurses5:i386 libstdc++6:i386 lib32z1 libbz2-1.0:i386
# download and extract zip from android studio website
@tberghuis
tberghuis / !media play pause
Last active January 15, 2019 22:08
media play pause
using xbindkeys and xdotool
android studio, wifi adb connect https://github.com/huazhouwang/WIFIADB
i can use keyboard and mouse on device with deskdock app
******** Android Studio **********
Editor - General - Code Completion - case sensitive completion - None
#!/bin/bash
# 1280 * 800
# should i research the effect of the refresh rate....
# gtf 800 1280 60
**user settings**
{
"editor.quickSuggestions": {
"other": false,
"comments": false,
"strings": false
},
"editor.suggestOnTriggerCharacters": false,
"editor.parameterHints": false,
#!/bin/bash
# set to google temporily https://askubuntu.com/questions/845430/how-to-set-dns-server-address-temporarily
echo "nameserver 8.8.8.8" | sudo tee /etc/resolv.conf