antenore

Configure OpenAI Codex CLI for DeepSeek

Two files needed to make DeepSeek work properly with Codex CLI:

1. ~/.codex/config.toml

model = "deepseek-reasoner"
model_provider = "deepseek-reasoner"
approval_policy = "on-failure"

antenore

# 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

gnome-control-center --overview is a good example to investigate

https://git.gnome.org/browse/gnome-control-center/tree/panels/info/cc-info-overview-panel.c

antenore

• 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

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

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

-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

#!/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

https://github.com/01micko/pup-volume-monitor/blob/master/tester/gio-testing.c

Instead of itering through the volume list, we get the first one g_list_first(volumes)

With some luck should be the root file system, or anything that doesn't change often in a system

antenore

# 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)