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
### A Pluto.jl notebook ### | |
# v0.12.4 | |
using Markdown | |
using InteractiveUtils | |
# This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error). | |
macro bind(def, element) | |
quote | |
local el = $(esc(element)) |
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
""" | |
To be used with a companion fish function like this: | |
function refish | |
set -l _x (python /tmp/bass.py source ~/.nvm/nvim.sh ';' nvm use iojs); source $_x; and rm -f $_x | |
end | |
""" | |
from __future__ import print_function |
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
Config { overrideRedirect = False | |
, font = "xft:CodeNewRoman Nerd Font:size=11:bold:antialias=true" | |
, additionalFonts = ["xft:Iosevka Nerd Font", "xft:WenQuanYi Micro Hei", "xft:Font Awesome 6 Free"] | |
, bgColor = "#3b4252" | |
, fgColor = "#f8f8f2" | |
, alpha = 165 | |
-- , position = TopW L 90 | |
, position = TopH 25 | |
, allDesktops = True | |
, commands = [ Run DynNetwork [ "--template" , "<dev>: <tx>kB/s|<rx>kB/s" |