You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Instantly share code, notes, and snippets.
Taro
lautarodragan
Software developer for fun and profit.
Been doing mostly JavaScript and TypeScript for... ever.
Fell in love with Rust about a year ago.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This mini-project compares frequencies of letters in the English language in general and an extract from Frank Herbert's Dune.
The average letter frequencies can be found in letter-frequencies.json. This file is a JSON object mapping letters to frequencies, and looks like this:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Right now, Yubico distributes yubikey-manager under the official ppa yubico/stable for apt. Double-check this is still the case when you're reading this guide — you don't want to trust a non-official distribution of yubikey-manager.
This script toggles both the Pop!_OS theme between Pop-dark and Pop and the gnome color-theme preference between prefer-light and prefer-dark at once. We need to toggle both because some apps use one and some the other. In particular, the CSS feature that allows detection of user preferences uses org.gnome.desktop.interface color-scheme, while native apps mostly use the gtk-theme.
To use it, you could just run the script manually from a terminal (. theme-toggle.sh or chmod a+x theme-toggle.sh and then ./theme-toggle.sh), but that's no fun.
Instead, you can add a desktop-wide keyboard shortcut that triggers this script.
To do so, open Settings (gnome-control-center) and go to Keyboard > Keyboard Shortcuts > View and Customize Keyboard Shortcuts.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters