Skip to content

Instantly share code, notes, and snippets.

View AndersonTorres's full-sized avatar

Anderson Torres AndersonTorres

  • São Paulo, Brazil
View GitHub Profile
@AndersonTorres
AndersonTorres / debtags2nixtags.awk
Last active November 24, 2023 13:59
A quick and not too clean script to convert Debtags to Nix categories
View debtags2nixtags.awk
BEGIN {
printf ("%s\n", "# DO NOT EDIT!");
printf ("%s", "categories = {");
}
/Facet:/ {
if (sub(/Facet: /,"")){
tmp_facet_name = $0
}
getline
View primes.zig
fn is_prime(comptime T: type,
n: T) bool {
var d: T = 2;
var exausted: bool = false;
var found: bool = false;
if (n < 0) return is_prime(-n);
if (n == 0 or n == 1) return false;
@AndersonTorres
AndersonTorres / zig-em-30-minutos.org
Last active November 11, 2023 19:15
Zig em 30 Minutos (Tradução)
View zig-em-30-minutos.org
@AndersonTorres
AndersonTorres / pdf2zip.fish
Last active July 10, 2020 17:22
Fish script to convert PDF to ZIP
View pdf2zip.fish
#!/bin/fish
# pdf2zip.fish
function usage
printf "
Usage: pdf2zip.fish [Only one PDF file]
Transforms a single PDF file, passed under cmdline, to an equivalent ZIP file,
storing it in the current directory"
@AndersonTorres
AndersonTorres / nix-development-template-file.org
Last active September 27, 2021 21:01
A project workflow for Nixpkgs/NixOS
View nix-development-template-file.org

Standard project structure

This is a project structure I’ve found useful. Looking for any thoughts/comments/feedback. Roughly, I found a tension between the style nixpkgs expects and the style conducive to development, so I extracted the common portion into a derivation.nix which is used by the remaining .nix files. This setup allows me to use nix build, nix-shell, overlays, Hydra, alternate packaging schemes, cross-compiling, etc.

@AndersonTorres
AndersonTorres / rar2zip.fish
Last active July 10, 2020 17:27
Fish script to convert RAR to ZIP
View rar2zip.fish
#!/bin/fish
# rar2zip.fish
function usage
printf "
Usage: rar2zip.fish [Only one RAR file]
Transforms a single RAR file, passed under cmdline, to an equivalent ZIP file,
storing it in the current directory"