technikhil314

# vim:fileencoding=utf-8:ft=conf:foldmethod=marker

#: Fonts {{{

#: kitty has very powerful font management. You can configure
#: individual font faces and even specify special fonts for particular
#: characters.

font_family      Fira Code
# bold_font        auto

technikhil314

# Only listen on http; disable ajp and https
web: java -jar jenkins.war --httpPort=$PORT --ajp13Port=-1 --httpsPort=-1

technikhil314

Introduction

• C-a == Ctrl-a
• M-a == Alt-a

General

:q        close
:w        write/saves
:wa[!]    write/save all windows [force]
:wq       write/save and close

technikhil314

/**
* Copyright 2019 Google LLC.
* SPDX-License-Identifier: Apache-2.0
*/

function getEnvironment() {
 var environment = {
   spreadsheetID: "<REPLACE WITH YOUR SPREADSHEET ID>",
   firebaseUrl: "<REPLACE WITH YOUR REALTIME DB URL>"
 };

technikhil314

# Mount all partitions after chroot to fully load the os
chroot /dev/sda7
for i in /dev /dev/pts /proc /sys /run; do sudo mount -B $i /mnt$i; done

# install uninstall gnome shell extension
gnome-extensions uninstall [email protected]
gnome-extensions install [email protected]

#To disable gnome file indexing/tracker
gsettings set org.freedesktop.Tracker.Miner.Files enable-monitors false

technikhil314

#zsh
apt install zsh
chsh -s /bin/zsh 

#oh-my-zsh
sh -c "$(curl -fsSL https://raw.githubusercontent.com/ohmyzsh/ohmyzsh/master/tools/install.sh)"

#zsh-autosuggestions
git clone https://github.com/zsh-users/zsh-autosuggestions ${ZSH_CUSTOM:-~/.oh-my-zsh/custom}/plugins/zsh-autosuggestions

technikhil314

// Credit to : https://dev.to/akhilarjun/one-line-dark-mode-using-css-24li
html[theme='dark-mode'] {
    filter: invert(1) hue-rotate(180deg);
}

technikhil314

# vim: set expandtab sw=4 tabstop=4:
# *color* 'area' 'fgcolor' 'bgcolor' '[attributes]'

# general
color   default                 15      0
color   cursor                  15      241
color   title-focus             242     221
color   title-blur              242     221
color   delimiter               213     default
color   author                  156     default

technikhil314

/*
Copy this into the console of any web page that is interactive and doesn't
do hard reloads. You will hear your DOM changes as different pitches of
audio.

I have found this interesting for debugging, but also fun to hear web pages
render like UIs do in movies.
*/

const audioCtx = new (window.AudioContext || window.webkitAudioContext)()

technikhil314

function mul(val1) {
    if(val1) {
        return (val2) => {
            if(val2) {                
                return mul(val1*val2);
            } else {
                return val1;
            }
        }    
    } else {