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