Skip to content

Instantly share code, notes, and snippets.

View layus's full-sized avatar

Guillaume Maudoux layus

38 followers · 0 following
View GitHub Profile
@layus
layus / gist:7ede511baefc86ba13b31de8687a155e
Created March 5, 2022 22:31
<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<!-- This file was created with the aha Ansi HTML Adapter. https://github.com/theZiz/aha -->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="application/xml+xhtml; charset=UTF-8"/>
<title>stdin</title>
</head>
<body style="color:white; background-color:black">
<pre>
@layus
layus / gist:945ff72b1dbffaa54720f5033c518dc6
Created March 5, 2022 22:11
<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<!-- This file was created with the aha Ansi HTML Adapter. https://github.com/theZiz/aha -->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="application/xml+xhtml; charset=UTF-8"/>
<title>stdin</title>
</head>
<body>
<pre>
@layus
layus / default.nix
Created January 26, 2022 17:47
with import <nixpkgs> {};
with pkgs;
stdenv.mkDerivation {
name = "frankenDebugSymbols";
outputs = [ "out" "debug" ];
dontUnpack = true;
dontBuild = true;
@layus
layus / barf.patch
Created November 10, 2021 15:14
Barf on ignored config text
diff --git a/nixos/machines/uberwald/configuration.nix b/nixos/machines/uberwald/configuration.nix
index d276df1..f59e631 100644
--- a/nixos/machines/uberwald/configuration.nix
+++ b/nixos/machines/uberwald/configuration.nix
@@ -1,30 +1,55 @@
# Edit this configuration file to define what should be installed on
# your system. Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).
-{ config, pkgs, ... }:
@layus
layus / ff_gdb_all.log
Created September 10, 2021 14:58
GNU gdb (GDB) 10.2
Copyright (C) 2021 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "x86_64-unknown-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<https://www.gnu.org/software/gdb/bugs/>.
@layus
layus / ff_normal_close_all.log
Created September 10, 2021 13:14
(firefox:38556): Gdk-DEBUG: 15:13:11.702: Ignoring portal setting for org.gnome.desktop.interface toolkit-accessibility
(firefox:38556): Gdk-DEBUG: 15:13:11.702: Ignoring portal setting for org.gnome.desktop.interface gtk-color-palette
(firefox:38556): Gdk-DEBUG: 15:13:11.702: Ignoring portal setting for org.gnome.desktop.interface can-change-accels
(firefox:38556): Gdk-DEBUG: 15:13:11.702: Using portal setting for org.gnome.desktop.interface enable-animations: true
(firefox:38556): Gdk-DEBUG: 15:13:11.702: Using portal setting for org.gnome.desktop.interface cursor-blink: true
(firefox:38556): Gdk-DEBUG: 15:13:11.702: Ignoring portal setting for org.gnome.desktop.interface clock-show-weekday
(firefox:38556): Gdk-DEBUG: 15:13:11.702: Using portal setting for org.gnome.desktop.interface icon-theme: 'Adwaita'
@layus
layus / ff_normal_all.log
Created September 10, 2021 13:13
(firefox:38134): Gdk-DEBUG: 15:12:24.369: Ignoring portal setting for org.gnome.desktop.interface toolkit-accessibility
(firefox:38134): Gdk-DEBUG: 15:12:24.370: Ignoring portal setting for org.gnome.desktop.interface gtk-color-palette
(firefox:38134): Gdk-DEBUG: 15:12:24.370: Ignoring portal setting for org.gnome.desktop.interface can-change-accels
(firefox:38134): Gdk-DEBUG: 15:12:24.370: Using portal setting for org.gnome.desktop.interface enable-animations: true
(firefox:38134): Gdk-DEBUG: 15:12:24.370: Using portal setting for org.gnome.desktop.interface cursor-blink: true
(firefox:38134): Gdk-DEBUG: 15:12:24.370: Ignoring portal setting for org.gnome.desktop.interface clock-show-weekday
(firefox:38134): Gdk-DEBUG: 15:12:24.370: Using portal setting for org.gnome.desktop.interface icon-theme: 'Adwaita'
@layus
layus / ff_debug_all.log
Created September 10, 2021 13:02
(firefox:35793): Gdk-DEBUG: 14:57:09.933: Ignoring portal setting for org.gnome.desktop.interface toolkit-accessibility
(firefox:35793): Gdk-DEBUG: 14:57:09.933: Ignoring portal setting for org.gnome.desktop.interface gtk-color-palette
(firefox:35793): Gdk-DEBUG: 14:57:09.933: Ignoring portal setting for org.gnome.desktop.interface can-change-accels
(firefox:35793): Gdk-DEBUG: 14:57:09.933: Using portal setting for org.gnome.desktop.interface enable-animations: true
(firefox:35793): Gdk-DEBUG: 14:57:09.933: Using portal setting for org.gnome.desktop.interface cursor-blink: true
(firefox:35793): Gdk-DEBUG: 14:57:09.933: Ignoring portal setting for org.gnome.desktop.interface clock-show-weekday
(firefox:35793): Gdk-DEBUG: 14:57:09.933: Using portal setting for org.gnome.desktop.interface icon-theme: 'Adwaita'
@layus
layus / stan_original.html
Created June 23, 2021 08:02
<!DOCTYPE HTML>
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="description" content="Stan Report"><meta name="keywords" content="Haskell, Static Analysis"><meta name="author" content="Kowainik"><title>Stan Report</title><style>html,body{height:100%;width:100%;margin:0% 0% 0% 0%;padding:0% 0% 0% 0%;left:0%;top:0%;font-family:sans-serif;font-size:100%;color:#616161;line-height:1.5}h1{font-size:2.5rem}h2{font-size:2rem}h3{font-size:1.375rem}h4{font-size:1.125rem}h5{font-size:1rem}h6{font-size:0.875rem}p{font-size:1.125rem;font-weight:200;line-height:1.8}.centre{text-align:center;margin-left:auto;margin-right:auto}.container{width:90%;margin-left:auto;margin-right:auto}.row{position:relative;width:100%}.row [class^='col']{float:left;margin-top:0.5rem;margin-bottom:0.5rem;margin-left:2%;margin-right:2%;min-height:0.125rem}.col-1,.col-2,.col-3,.col-4,
@layus
layus / config
Created January 26, 2021 09:22
# i3 config file (v4.4)
# vim: ft=i3
# This file was generated by nix. Do not edit.
workspace_auto_back_and_forth yes
set $mod Mod4
# font for window titles. ISO 10646 = Unicode