4
Oct
2022

zsh

04 Oct 2022
install sudo apt install zsh make default shell zsh: chsh -s $(which zsh) oh my zsh: sh -c "$(curl -fsSL https://raw.github.com/ohmyzsh/ohmyzsh/master/tools/install.sh)" copy plugins similar: git clone https://github.com/zsh-users/zsh-syntax-highlighting.git ${ZSH_CUSTOM:-~/.oh-my-zsh/custom}/plugins/zsh-syntax-highlighting all plugins enum: plugins=(git zsh-autosuggestions zsh-syntax-highlighting fast-syntax-highlighting) hardcode install powerlevel10k: git clone --depth=1 https://github.com/romkatv/powerlevel10k.git ${ZSH_CUSTOM:-$HOME/.oh-my-zsh/custom}/themes/powerlevel10k Set `ZSH_THEME="powerlevel10k/powerlevel10k"` in `~/.zshrc`
14
Jul
2021

Spotify dbus

14 Jul 2021
dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.PlayPause dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.Next dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.Previous // Scale. add force-device param spotify --force-device-scale-factor=1.5 %U
9
Nov
2018

Ubuntu Dive In

09 Nov 2018
Frontend build sudo apt-get install nodejs sudo apt-get install npm sudo npm install gulp-cli -g npm install gulp all-build Switch language sudo apt-get install gnome-tweaks gnome-tweaks Keyboard & Mouse tab Additional Layout Options button Switching to another layout Ctrl + Alt + Left/Right disable ubuntu gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "['']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right "['']" Linux + Nvidia sudo add-apt-repository ppa:graphics-drivers/ppa sudo apt update ubuntu-drivers devices sudo apt install <recommended> Datagrip Data source properties -> Options tab -> Object filter: collation:-.*