show dbs
// https://www.reddit.com/r/vscode/comments/11e66xh/i_made_neovide_alike_cursor_effect_on_vscode/ | |
// Configuration | |
// Set the color of the cursor trail to match the user's cursor color | |
const Color = "#A052FF" // If set to "default," it will use the theme's cursor color. | |
// ! default will only reference editorCursor.background | |
// "workbench.colorCustomizations": { | |
// "editorCursor.background": "#A052FF", | |
// } |
NOTICE: This will take up about 3 GB of space on your device, before syncing any repos or projects.
Install Termux from the Play Store and launch it
Once it finishes unpacking:
pkg update
pkg upgrade -y
A quick cheatsheet of useful snippet for Flutter
A widget is the basic type of controller in Flutter Material.
There are two type of basic Widget we can extend our classes: StatefulWidget
or StatelessWidget
.
StatefulWidget are all the widget that interally have a dynamic value that can change during usage. It can receive an input value in the constructor or reference to functions. You need to create two classes like:
These are my notes, not a generic solution. They are not meant to work anywhere outside my machines. Update version numbers to whatever are the current ones while you do this.
asdf
lives in https://github.com/asdf-vm/asdf
Follow its installation instructions, which at the moment of writing were:
#/bin/bash | |
# | |
# Download and executes a remote GitHub gist | |
# it will store a local cache to improve performances | |
# | |
# run `./script --update` to flush local cache | |
# | |
# -- Custom Settings |
When hosting our web applications, we often have one public IP
address (i.e., an IP address visible to the outside world)
using which we want to host multiple web apps. For example, one
may wants to host three different web apps respectively for
example1.com
, example2.com
, and example1.com/images
on
the same machine using a single IP address.
How can we do that? Well, the good news is Internet browsers
Host github.com | |
User git | |
Hostname github.com | |
PreferredAuthentications publickey | |
IdentityFile /home/user/.ssh/id_rsa |