Skip to content

Instantly share code, notes, and snippets.

@iacore
iacore / instructions.txt
Last active November 1, 2021 15:16
How to Uninstall Nix
Uninstalling nix:
1. Delete the systemd service and socket units
sudo systemctl stop nix-daemon.socket
sudo systemctl stop nix-daemon.service
sudo systemctl disable nix-daemon.socket
sudo systemctl disable nix-daemon.service
sudo systemctl daemon-reload
2. Restore /etc/profile.d/nix.sh.backup-before-nix back to /etc/profile.d/nix.sh
@iacore
iacore / why3.rb
Created September 3, 2021 06:59
why3 file line number rewrite (to be used with vscode or other ide)
#!/usr/bin/env ruby
def rewrite(rd, wr)
rd.each do |line|
line = line.gsub /File "(.*)", line (\d+), characters (\d+)-(\d+):/, 'File \1:\2:\3 to \4'
wr.puts line
# wr.flush
end
end