Skip to content

Instantly share code, notes, and snippets.

View aliou's full-sized avatar

Aliou Diallo aliou

150 followers · 4 following
View GitHub Profile
@aliou
aliou / session.html
Created April 30, 2026 18:06
Fix bug in package manager and config selector
This file has been truncated, but you can view the full file.
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #4a5e81;
--border: #606060;
@aliou
aliou / session.html
Created April 30, 2026 18:06
Investigate headers display issue
This file has been truncated, but you can view the full file.
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #4a5e81;
--border: #606060;
@aliou
aliou / tps-editor-widget.ts
Created April 27, 2026 16:49
import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
export default function tpsEditorWidget(pi: ExtensionAPI) {
pi.on("session_start", (_event, ctx) => {
if (!ctx.hasUI) return;
pi.events.on("tps:telemetry", (data) => {
const t = data as {
tps: number | null;
tokens: { input: number; output: number };
@aliou
aliou / session.html
Created April 27, 2026 13:27
Pi session export
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #7a8aa6;
--border: #404040;
@aliou
aliou / session.html
Created April 27, 2026 13:27
Pi session export
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #7a8aa6;
--border: #404040;
@aliou
aliou / session.html
Created April 25, 2026 09:09
Pi session export
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #7a8aa6;
--border: #404040;
@aliou
aliou / session.html
Created April 24, 2026 07:27
Pi session export
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #7a8aa6;
--border: #404040;
@aliou
aliou / session.html
Created April 22, 2026 13:09
Pi session export
This file has been truncated, but you can view the full file.
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #7a8aa6;
--border: #404040;
@aliou
aliou / session.html
Created April 21, 2026 19:42
Pi session export
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #7a8aa6;
--border: #404040;
@aliou
aliou / session.html
Created April 21, 2026 08:59
Pi session export
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Session Export</title>
<style>
:root {
--accent: #7a8aa6;
--border: #404040;