Skip to content

Instantly share code, notes, and snippets.

View teto's full-sized avatar
👹
wrecking havoc

Matthieu Coudron teto

👹
wrecking havoc
  • /nix/store/candies
View GitHub Profile
@teto
teto / Hyperlinks_in_Terminal_Emulators.md
Created February 6, 2019 09:26 — forked from egmontkob/Hyperlinks_in_Terminal_Emulators.md
Hyperlinks in Terminal Emulators
@teto
teto / string-conversions.hs
Created October 21, 2020 10:30 — forked from dino-/string-conversions.hs
A handy illustration of converting between String, Text and ByteString in Haskell
#! /usr/bin/env stack
-- stack --resolver lts-12.14 script
{-# LANGUAGE OverloadedStrings #-}
{-
This is a handy illustration of converting between five of the commonly-used
string types in Haskell (String, ByteString, lazy ByteString, Text and lazy
Text).
hi graham this is teto - 41e95962-4059-4119-b6a9-7cf06d6ded13
@teto
teto / flake.nix
Created December 2, 2023 14:35
jupyter flake
{
description = "A very basic flake";
inputs = {
flake-utils.url = "github:numtide/flake-utils";
# hls.url = "github:haskell/haskell-language-server";
# nixpkgs.url = "github:NixOS/nixpkgs";
nixpkgs.url = "/home/teto/nixpkgs";
# jupyenv.url = "github:tweag/jupyenv";
2024-08-16T13:22:58.135797441Z [INFO] termscp 0.14.0 started!
2024-08-16T13:22:58.13594489Z [INFO] Starting activity manager...
2024-08-16T13:22:58.13605172Z [INFO] Setting up config client with config path /home/teto/.config/termscp/config.toml and SSH key directory /home/teto/.config/termscp/.ssh/
2024-08-16T13:22:58.136092339Z [TRACE] (1) termscp::config::serialization: [src/config/serialization.rs:93] Read bookmarks from file: [user_interface]
text_editor = "/home/teto/.nix-profile/bin/nvim"
default_protocol = "SFTP"
show_hidden_files = true
check_for_updates = false
prompt_on_file_replace = true
group_dirs = "first"