Usefull miscellaneous snippets

Use Wildcard With apt

Use the asterisk wildcard syntax when installing packages with Ubuntu’s package manager.

apt install '?name(libkf5.*)'

source

I3-wm: assign a workspace to a monitor

When working in a multi-monitor setup and apps are assigned to specific workspaces, it is useful to assign workspaces to a specific monitor; for instance, in order to have wide-screen apps like VLC always be displayed on the wider monitor.

List your monitors’s handles using

$ xrandr --listmonitors | awk '{print $4}'
> HDMI-A-0
> eDP

Then define variables and assign workspaces to monitors in the i3 config file

set $monitor_builtin "eDP"
set $monitor_external "HDMI-A-0"
workspace $ws8 output $monitor_external

Note: if workspace have names containing spaces (such as those generated by regolith) numbers should be used:

workspace 8 output $monitor_external

source

There are no notes linking to this note.

There are no papers linking to this note.


Here are all the notes in this garden, along with their links, visualized as a graph.

Adversarial perturbation to...Can we (and should we)...Certified compilers and proof...Constructive logicCurry Howard correspondenceDuelling banjos drama in the...Equivalence checkingExporting ocaml from imandraHalf marathon afterthoughtsHow to set up a plausible...How to make a sunrise alarm...How to make a sunrise alarm...How to make a sunrise alarm...Jupyter notebook launch...Lairg to john'o'groats bike...Marabou Imandra interfacingMarkov process modelMethodologyMonte carlo processNeural network verification ...Ocaml decoder libraryProof production for neural...Reading listType theory with agdaUbuntu housekeepingUseful imandra tipsUseful git commandsUseful vim tips and tricksUsefull miscellaneous snippetsVerifying an algorithm with...On the Dangers of Stochastic...Intuitionistic Type TheorySpinoza on ModalityAttention is All you NeedFormal Monotony Analysis...