Skip to content

Instantly share code, notes, and snippets.

View antenore's full-sized avatar
🏠
Working from home

Antenore Gatta antenore

🏠
Working from home
View GitHub Profile
@antenore
antenore / codex-deepseek-setup.md
Last active June 1, 2026 07:45
Configure OpenAI Codex CLI to use DeepSeek models

Configure OpenAI Codex CLI with DeepSeek Models

Disclaimer (May 2026). Sorry for the long radio silence on the comments, busy stretch on my side. I no longer use this setup and stopped tracking it actively. I'm refreshing the page out of thoroughness because comments kept coming in and people deserve an honest snapshot. If you find better workarounds, post them in the comments and I'll link them, but I won't be maintaining this further.

Status

Codex deprecated wire_api = "chat" in favour of OpenAI's Responses API. DeepSeek only speaks Chat Completions, so the direct integration documented below is no longer reliable. Symptoms reported by users:

  • An assistant message with 'tool_calls' must be followed by tool messages... (insufficient tool messages following tool_calls)
  • Missing 'reasoning_content' field in the assistant message at message index N
# From master
## Rename local branch master to v1.1
git branch -m v1.1
## Delete old master
git push origin :master v1.1
## Reset the upstream branch for the v1.1 local branch
git push origin -u v1.1
# From next
@antenore
antenore / gateher_system_info.md
Created January 8, 2018 15:29
Notes about gathering system informations
@antenore
antenore / ABI_differences.md
Last active August 25, 2016 21:57
Get symbols for static library, to be able to compare ABI differences
  • A realworld examples

http://abi-laboratory.pro/tracker/timeline/gtk+/

  • From the command line
  • Get symbols for static library, to be able to compare ABI differences:

% nm -g lib.a | sed -e 's|^[[:alnum:] ]* ||'

  • Get symbols for dynamic library.
@antenore
antenore / freebsd.11.0-BETA4_to_11.0-RC2.md
Last active August 25, 2016 19:31
FreeBSD: Upgrade FreeBSD 11.0-BETA4 to FreeBSD 11.0-RC2

Disclaimer

This is not a replacement of https://www.freebsd.org/doc/handbook/updating-upgrading.html , neither a script. So do not blindly execute it, without trying to understand what happens behind.

I advice to execute this in a standard, posix compliant and clean shell, /bin/sh should be the best choice.

To have a good error handlingh execute set -xe

@antenore
antenore / freebsd-upgrade.md
Last active October 26, 2016 22:26
FreeBSD upgrade, the hardway make it simple
beadm create 110alpha6To110beta4-r307978
beadm activate 110alpha6To110beta4-r303808
reboot
beadm rename default 110alpha6
rm -rf /usr/src/*
svnlite co https://svn0.us-west.freebsd.org/base/stable/11 /usr/src
cd /usr/src
make -j `sysctl -n hw.ncpu` buildworld
make -j `sysctl -n hw.ncpu` buildkernel
@antenore
antenore / recipe: cherry-pick tags
Last active August 17, 2016 08:17 — forked from nickfloyd/recipe: cherry-pick tags
To cherry pick from head and commit back into a tag
-from master in working branch
>> git branch [new branch] [tag]
>> git checkout [branch]
-pull commit out and add it to the commit at the top of the tag
>> git cherry-pick [commit] or git cherry-pick [firstcommit]^..[lastcommit] if you have a range
-resolve conflicts
-delete the local tag
>> git git tag -d [tag]
-add a new tag at the head of the old one
@antenore
antenore / elpased_time.sh
Created June 9, 2016 22:39
Shell script to measure elapsed time (bash, zsh, ksh)
#!/usr/bin/env bash
SECONDS=0
START=$(date '+%Hh%M')
echo "This scripts measure How many seconds last the script"
echo "Press any key when you are ready"
read a
@antenore
antenore / GIO_g_volume_get_identifier.md
Last active December 17, 2015 23:37
How to get the UUID of a volume using the glib gio
# How to detect whether input is from keyboard, a file, or another process.
# Useful for writing a script that can read from standard input, or prompt the
# user for input if there is none.
# Source: http://www.linuxquestions.org/questions/linux-software-2/bash-scripting-pipe-input-to-script-vs.-1-570945/
if readlink /proc/$$/fd/0 | grep -q "^pipe:"; then
# Pipe input (echo abc | myscript)
elif file $( readlink /proc/$$/fd/0 ) | grep -q "character special"; then
# Terminal input (keyboard)