Compare commits

..

9 Commits

13 changed files with 151 additions and 21 deletions

View File

@@ -53,7 +53,7 @@ in {
home.sessionVariables = {
EDITOR = "nvim";
SHELL = "zsh";
SHELL = "/etc/profiles/per-user/synchronous/bin/zsh"; # just zsh no longer works?
HOME = "/home/synchronous";
# XDG_CACHE_HOME = "$HOME/.cache";
DBUS_SESSION_BUS_ADDRESS = "unix:path=$XDG_RUNTIME_DIR/bus";
@@ -120,6 +120,9 @@ in {
yq
semgrep
tectonic
electrum
feather
gnupg
# texlive.combined.scheme-full
# security

View File

@@ -210,6 +210,10 @@ in {
name = "verus github";
url = "https://github.com/verus-lang/verus";
}
{
name = "secure foundations";
url = "https://github.com/secure-foundations";
}
];
}
{

View File

@@ -186,6 +186,12 @@ super + bracket{left,right}
super + {o}
sh nf daily
super + semicolon
sh nf idk
super + {m}
sh nf misc
# open my notes without goyo and with nvimteee
super + {shift} + {o}
sh nf daily

View File

@@ -220,11 +220,20 @@ alias dnsblock-add="nvim /home/synchronous/nix-cfg/system/networking/blockers.sh
alias focus-wifi="nvim /home/synchronous/nix-cfg/system/networking/blockers.sh"
alias verus-dir="cd /home/synchronous/code/verus"
alias cure="cd /home/synchronous/code/cure53"
alias scripts="cd /home/synchronous/nix-cfg/home/scripts"
alias bookmarks="vim -c '80' /home/synchronous/nix-cfg/home/programs/firefox/default.nix"
stack() {
find . -type f -exec echo -e "\n--- {} ---\n" \; -exec cat {} \;
}
stack-fast() {
rg -l . | while read -r file; do
echo -e "\n--- $file ---\n"
cat "$file"
done
}
stack-b() {
(
while IFS= read -r -d '' file; do

59
home/scripts/daily.sh Normal file
View File

@@ -0,0 +1,59 @@
# get today's date
curr=$(date +%y-%m-%d)
curr_bigyear=$(date +%Y-%m-%d)
# echo "$curr"
curr_pretty=$(date "+%A, %B %d %G")
curr_onenumber=$(date +%Y%m%d)
echo "Today: $curr_pretty"
# get written journal lines
journal_len=$(wc /home/synchronous/journal/daily.md | awk '{print $1}')
journal_date_area=$(rg 25-12-03 /home/synchronous/journal/daily.md -n -o | sed 's/:/ /' | awk '{print $1}')
journal=""
if [[ $journal_date_area == "" ]]; then
journal="No writing in the journal yet today.."
else
jd_diff=$(echo "$journal_len - $journal_date_area" | bc)
journal="You've written $jd_diff journal line(s)"
fi
# get todos for today
todo_len=$(awk '!NF { print NR; exit }' /home/synchronous/journal/todo.md)
todo_len_1=$(echo "$todo_len" - 1 | bc)
todo_len_2=$(echo "$todo_len" - 2 | bc)
todos=$(head /home/synchronous/journal/todo.md -n "$todo_len_1" | tail -n "$todo_len_2")
# choose idk based on psuedorandom seeded with date
idk_len=$(wc -l /home/synchronous/journal/rest/idk.md | awk '{print $1'})
idk_date=$(date +%Y%m%d)
idk_pseudo=$(python3 -c "import math; import random; random.seed($idk_date); print( math.floor(random.random() * 10000) % $idk_len)")
idk=$(sed -n '7 p' /home/synchronous/journal/rest/idk.md | cut -c3-)
# check if there exists a .daily in home for this day
daily_date=$(stat -c "%y" /home/synchronous/.daily | awk '{print $1}')
if [[ $daily_date != $curr_bigyear ]]; then
rm /home/synchronous/.daily
touch /home/synchronous/.daily
# set idk
echo "- idk: $idk" >> /home/synchronous/.daily
else
idk_prev=$(rg idk /home/synchronous/.daily | cut -c8-) # take existing idk
if [[ $idk_prev != $idk ]]; then
idk="$idk_prev [done!]"
fi
fi
echo
# echo $idk
echo "Lore for today:"
echo "- idk: $idk"
echo "- $journal"
echo
# TODOS SETUP
echo "Todos for today ($todo_len_2 items):"
echo "$todos"

25
home/scripts/idk.sh Normal file
View File

@@ -0,0 +1,25 @@
add_idk() {
if [[ "$1" == "" ]]; then
echo "Empty entry"
exit 0
fi
fq=$(rg "$1" /home/synchronous/journal/rest/idk.md 2> /dev/null)
if [[ "$fq" != "" ]]; then
echo "Entry already present"
exit 0
fi
echo "- $1" >> /home/synchronous/journal/rest/idk.md
echo "Added entry: '$1'"
idk_len=$(wc -l /home/synchronous/journal/rest/idk.md | awk '{print $1}')
echo "You do not know $idk_len things!"
}
run_command() {
case $1 in
"add") add_idk "$2" ;;
"del") remove_idk "$2" ;;
*)
esac
}
run_command "$1" "$2"

View File

@@ -44,6 +44,13 @@ open_daily() {
-c "lua vim.g.goyo_if = 1" &!
}
open_idk() {
alacritty -t "idk.md" -e nvim "$main/rest/idk.md" \
-c "Goyo | set wrap | set path+=$main_dir" \
-c "execute 'normal G'" \
-c "lua vim.g.goyo_if = 1" &!
}
open_todo() {
alacritty -t "todo.md" -e nvim "$main/todo.md" \
-c "execute 'lua vim.g.goyo_if = 1' | set wrap | Goyo | set path+=$main_dir" &!
@@ -152,14 +159,24 @@ search_by_title() {
fi
}
open_misc() {
tf=$(mktemp --suffix=.md)
# sh -c keeps window open for nvim, then deletes file immediately on exit
alacritty -t "scratch" -e sh -c "nvim '$tf' \
-c 'execute \"lua vim.g.goyo_if = 1\" | Goyo | set wrap | autocmd BufEnter * let b:coc_suggest_disable=1'; \
rm '$tf'" &!
}
run_command() {
case $1 in
"search") search ;;
"daily") open_daily ;;
"todo") open_todo ;;
"idk") open_idk ;;
"find") notes_find ;;
"tags") search_by_tags ;;
"title") search_by_title ;;
"misc") open_misc ;;
*)
esac
}

View File

@@ -1,5 +1,5 @@
#!/usr/bin/env bash
newmac=$1
suod ip link set wlan0 down
sudo ip link set wlan0 down
sudo macchanger wlan0 --mac "$1"
sudo ip link set wlan0 up

View File

@@ -1,5 +1,3 @@
#!/bin/bash
if [[ $EUID -ne 0 ]]; then
echo "This script must be run as root."
exit 1

View File

@@ -1,27 +1,31 @@
# Do not modify this file! It was generated by nixos-generate-config
# and may be overwritten by future invocations. Please make changes
# to /etc/nixos/configuration.nix instead.
{ config, lib, pkgs, modulesPath, ... }:
{
imports =
[ (modulesPath + "/installer/scan/not-detected.nix")
];
config,
lib,
pkgs,
modulesPath,
...
}: {
imports = [
(modulesPath + "/installer/scan/not-detected.nix")
];
boot.initrd.availableKernelModules = [ "uhci_hcd" "ehci_pci" "ahci" "usb_storage" "usbhid" "sd_mod" ];
boot.initrd.kernelModules = [ ];
boot.kernelModules = [ "kvm-intel" ];
boot.extraModulePackages = [ ];
boot.initrd.availableKernelModules = ["uhci_hcd" "ehci_pci" "ahci" "usb_storage" "usbhid" "sd_mod"];
boot.initrd.kernelModules = [];
boot.kernelModules = ["kvm-intel"];
boot.extraModulePackages = [];
fileSystems."/" =
{ device = "/dev/disk/by-uuid/bb36a123-4dc9-4583-8571-1aa180efb00b";
fsType = "ext4";
};
fileSystems."/" = {
device = "/dev/disk/by-uuid/bb36a123-4dc9-4583-8571-1aa180efb00b";
fsType = "ext4";
};
swapDevices =
[ { device = "/dev/disk/by-uuid/78565ab8-d7b8-476d-a6e7-46ceda4ee761"; }
{ device = "/dev/disk/by-uuid/c735b357-c35c-4249-bb0b-23321fe50c3d"; }
];
swapDevices = [
{device = "/dev/disk/by-uuid/78565ab8-d7b8-476d-a6e7-46ceda4ee761";}
{device = "/dev/disk/by-uuid/c735b357-c35c-4249-bb0b-23321fe50c3d";}
];
# Enables DHCP on each ethernet and wireless interface. In case of scripted networking
# (the default) this is the recommended approach. When using systemd-networkd it's

Binary file not shown.

View File

@@ -48,6 +48,11 @@
services.printing.enable = true;
hardware.bluetooth.enable = true;
programs.dconf.enable = true;
services.pcscd.enable = true;
programs.gnupg.agent = {
enable = true;
enableSSHSupport = true;
};
xdg.mime.defaultApplications = {
"application/pdf" = "firefox.desktop";