~gagbo

France

https://gagbo.net

#Gerry Agbobada

I'm a backend software engineer.

I mostly like Rust and Schemes, but I have good experience in C++ and Python as well, trying to embed the languages I like working with inside the ones I like hacking with.

Sometimes, I blog. It is quite rare though.

Most of my contributions to Emacs ecosystem are still on github though, like Doom or packages like consult-lsp and a converter from org to tree-sitter test.

I think my most fun projects are:

  • Xile: draft of a front-end for Xi editor, written in Guile Scheme
  • R7.rs: a Rust hosted R7RS scheme (WIP, and interpreter only for now)

I am also getting my feet wet with front-development with my fork of Rustpad which adds integration with Piston for shared remote code execution.

~gagbo/r7.rs-devel

Last active 2 years ago

~gagbo/r7.rs-announce

Last active 2 years ago

~gagbo/beancount-tools-devel

Last active 2 years ago

~gagbo/beancount-tools-announce

Last active 2 years ago

~gagbo/public-inbox

Last active 2 years ago
View more

Recent activity

Re: Guix home on foreign distribution; handling XDG env 3 years ago

From Gerry Agbobada to ~abcdw/rde-discuss

Hello,


> And the same for XDG_CONFIG_DIRS and XCURSOR_PATH, so it only adds some
> pathes, but not override.

The issue is that all those paths are left empty by default on Fedora (33/34/35) in the shipped /etc/profile.d files,
and when they are empty, most programs just use the default values that I added in my `.bash_profile`.

The setup in $GUIX_HOME appends the custom values to an empty original one, and once those environment
variables are defined, Fedora stopped looking for data and cursors in the default folders entirely.

I think it’d be pretty easy to test in a VM:
- get Fedora with KDE spin (so you boot into Plasma workspace, with Breeze theme and cursors)

[PATCH] Demonstrate that I can use git send-email 3 years ago

From Gerry Agbobada to ~sircmpwn/email-test-drive

---
 gerry-agbobada | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 gerry-agbobada

diff --git a/gerry-agbobada b/gerry-agbobada
new file mode 100644
index 0000000..66cb3d4
--- /dev/null
+++ b/gerry-agbobada
@@ -0,0 +1 @@
I have successfully used git send-email!
-- 
2.33.0
[message trimmed]

[PATCH v2] Demonstrate that I can use git send-email 3 years ago

From Gerry Agbobada to ~sircmpwn/email-test-drive

---
 gerry-agbobada | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 gerry-agbobada

diff --git a/gerry-agbobada b/gerry-agbobada
new file mode 100644
index 0000000..66cb3d4
--- /dev/null
+++ b/gerry-agbobada
@@ -0,0 +1 @@
I have successfully used git send-email!
-- 
2.33.0
[message trimmed]

[PATCH] Demonstrate that I can use git send-email 3 years ago

From Gerry Agbobada to ~sircmpwn/email-test-drive

---
 gerry-agbobada | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 gerry-agbobada

diff --git a/gerry-agbobada b/gerry-agbobada
new file mode 100644
index 0000000..6d0ecfd
--- /dev/null
+++ b/gerry-agbobada
@@ -0,0 +1 @@
I'm about to try git send-email
-- 
2.33.0
[message trimmed]