Clément Démoulins

Extraire des sous dossiers d'un dépôt git

Exemple, on veut extraire les papiers de Vaucanson du dépôt commun lrde-publis.

# Clone du dépôt
git clone git@git:lrde-publis.git
git clone --no-hardlinks lrde-publis vcsn-publis
cd vcsn-publis

# Filtre tout sauf ce qui match la pattern : (\.fsmnlp|\.ciaa|\.poosc|\.vaucanson|\.gitignore|\.gitmodules)$
git filter-branch --prune-empty --index-filter "git rm -r --cached --ignore-unmatch $(git log -p | sed -rne 's/^diff --git a\/([^/]+)\/?.* b\/.*$/\1/ p' | sort -u | egrep -v '(\.fsmnlp|\.ciaa|\.poosc|\.vaucanson|\.gitignore|\.gitmodules)$' | xargs echo)" HEAD

# Nettoyage du dépôt
git remote rm origin
git update-ref -d refs/original/refs/heads/master
git reflog expire --expire=now --all
git repack -ad

Compilation dans /lrde/dev

Compilation classique d'un paquet :

source /lrde/dev/profile && ./configure CXXFLAGS="-O3" CFLAGS="-O3" --prefix=/lrde/dev/$(uname -m)/stow/$(basename $PWD) && make && make install

Compilation de gcc :

Compilation de clang :

source /lrde/dev/profile
CC=gcc-4.9 CXX=g++-4.9 ./configure CXXFLAGS="-O3" CFLAGS="-O3" --prefix=/lrde/dev/$(uname -m)/stow/$(basename $PWD)
make

Compilation de opencv :

source /lrde/dev/profile
cmake \
    -D WITH_OPENCL=ON \
    -D WITH_OPENGL=ON \
    -D BUILD_TESTS=OFF \
    -D BUILD_EXAMPLES=OFF \
    -D CMAKE_BUILD_TYPE=Release \
    -D CMAKE_INSTALL_PREFIX=/lrde/dev/$(uname -m)/stow/$(basename $PWD) \
    -D CMAKE_SKIP_RPATH=ON \
    .
make

Commandes bien pratique de post installation

Déploiement de ma config

apt-get update
apt-get install -y vim-nox htop tree git tmux curl zsh
mkdir -p /root/.ssh;
curl http://sao-paulo.lrde.epita.fr/cluster/files/admin-ssh-key.pub       -o /root/.ssh/authorized_keys;
curl http://sao-paulo.lrde.epita.fr/cluster/files/known_hosts             -o /root/.ssh/known_hosts;
curl http://sao-paulo.lrde.epita.fr/cluster/files/id_rsa-dotfiles         -o /root/.ssh/id_rsa-dotfiles;
curl http://sao-paulo.lrde.epita.fr/cluster/files/id_rsa-dotfiles.pub     -o /root/.ssh/id_rsa-dotfiles.pub;
curl http://sao-paulo.lrde.epita.fr/cluster/files/ssh_config              -o /root/.ssh/config;
chmod 600 /root/.ssh/id_rsa-dotfiles;
git clone --quiet dotfiles:clement/dotfiles.git /root/.dotfiles;
(cd /root/.dotfiles && ./install.sh);
chsh root -s /usr/bin/zsh;

sources.list

wget http://sao-paulo.lrde.epita.fr/cluster/files/sources.list                  -O /etc/apt/sources.list;
wget http://sao-paulo.lrde.epita.fr/cluster/files/security.sources.list         -O /etc/apt/sources.list.d/security.sources.list;
apt-get update;

cron-apt

apt-get update;
apt-get install -y cron-apt;
wget http://sao-paulo.lrde.epita.fr/cluster/files/cron-apt-config               -O /etc/cron-apt/config;
wget http://sao-paulo.lrde.epita.fr/cluster/files/cron-apt-2-security-upgrade   -O /etc/cron-apt/action.d/2-security-upgrade;
wget http://sao-paulo.lrde.epita.fr/cluster/files/cron-apt-security.conf        -O /etc/cron-apt/apt-security-upgrade.conf;

deb-multimedia + ffmpeg

echo "deb http://www.deb-multimedia.org wheezy main non-free" > /etc/apt/sources.list.d/deb-multimedia.list
apt-get update
apt-get install deb-multimedia-keyring
apt-get update
apt-get install libav{filter,format,util,device,codec}-dev libav{codec54,util52,filter3,device54} libswscale-dev

glusterfs 3.5

wget -O - http://download.gluster.org/pub/gluster/glusterfs/3.5/3.5.0/Debian/pubkey.gpg | apt-key add -
echo 'deb [ arch=amd64 ] http://download.gluster.org/pub/gluster/glusterfs/3.5/3.5.0/Debian/apt wheezy main' > /etc/apt/sources.list.d/gluster.list
apt-get update
apt-get install glusterfs-client

LDAP

apt-get update
apt-get install -y autofs autofs-ldap nslcd
apt-get purge nscd
wget http://sao-paulo.lrde.epita.fr/cluster/files/autofs.default          -O /etc/default/autofs;
wget http://sao-paulo.lrde.epita.fr/cluster/files/autofs.if-up            -O /etc/network/if-up.d/autofs;
chmod +x /etc/network/if-up.d/autofs;
wget http://sao-paulo.lrde.epita.fr/cluster/files/ldap.conf               -O /etc/ldap/ldap.conf;
wget http://sao-paulo.lrde.epita.fr/cluster/files/cacert.pem              -O /etc/ssl/certs/lrde-cacert.pem;
wget http://sao-paulo.lrde.epita.fr/cluster/files/nsswitch.conf           -O /etc/nsswitch.conf;
wget http://sao-paulo.lrde.epita.fr/cluster/files/nslcd.conf              -O /etc/nslcd.conf;

Tests

	Author	Title	Published in	Date
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators	Akim Demaille Thibaud Michaud	Derived-Term Automata of Weighted Rational Expressions with Quotient Operators	Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)	5 July 2017
Derived-term Automata for Extended Weighted Rational Expressions	Akim Demaille	Derived-term Automata for Extended Weighted Rational Expressions	Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)	6 July 2016
Derived-Term Automata of Multitape Rational Expressions	Akim Demaille	Derived-Term Automata of Multitape Rational Expressions	Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16)	26 April 2016
A Type System for Weighted Automata and Rational Expressions	Akim Demaille Alexandre Duret-Lutz Sylvain Lombardy Luca Saiu Jacques Sakarovitch	A Type System for Weighted Automata and Rational Expressions	Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)	20 May 2014
Implementation Concepts in Vaucanson 2	Akim Demaille Alexandre Duret-Lutz Sylvain Lombardy Jacques Sakarovitch	Implementation Concepts in Vaucanson 2	Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)	2 May 2013
An XML format proposal for the description of weighted automata, transducers, and regular expressions	Akim Demaille Alexandre Duret-Lutz Florian Lesaint Sylvain Lombardy Jacques Sakarovitch Florent Terrones	An XML format proposal for the description of weighted automata, transducers, and regular expressions	Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08)	28 July 2008
Inside Vaucanson	Thomas Claveirole Sylvain Lombardy Sarah O'Connor Louis-Noël Pouchet Jacques Sakarovitch	Inside Vaucanson	Proceedings of Implementation and Application of Automata10th International Conference (CIAA)	25 May 2005
On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson	Yann Régis-Gianas Raphaël Poss	On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson	Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP)	26 May 2003
Introducing Vaucanson	Sylvain Lombardy Raphaël Poss Yann Régis-Gianas Jacques Sakarovitch	Introducing Vaucanson	Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03)	5 May 2003