Kategorie: Tools
(English) dtk coding style
Introduction This document describes the recommended coding style for dtk. This style is not mandatory, but to have consistent formatting of the source code files it is recommended to make use of it. dtk coding style follows the Qt coding style, with few differences desribed here after. Rules Indentation 4…
(English) Create a GitLab Page for a given project
Leider ist der Eintrag nur auf Amerikanisches Englisch und Französisch verfügbar.
How to move directory from a git repo to another
This post is a copy from Matthias Schoettle’s blog Let us just moved one directory within a Git repository to a directory within another repository including its history. For example: repositoryA/ „`console ………../directoryToKeep ………../otherDirectory ………../someFile.ext repositoryB/ ………../someStuff The goal is to move directoryToKeep into repositoryB with its history, i.e., all…
Long time booting on ubuntu 18.04 : solved
Intro Histoire de ne pas re-rechercher pendant des heures la solution, je copie ici la suite des instructions qui m’ont permis de réduire de 30s le temps de démarrage de Ubuntu 18.04 sur mon HP EliteBook 840. Le symptôme Il est simple: un temps insensé pour arriver à mon écran…
(English) StatisKit – Dreamtech
Leider ist der Eintrag nur auf Amerikanisches Englisch verfügbar.
Using containers on the Nef cluster.
Containers are becoming a very popular way of packaging software nowadays. The most used format is currently docker container images. One problem with docker is that you can’t use it on Nef since it requires a root daemon that bypasses the OAR scheduler running on Nef nodes. So we need…
(English) gitlab.inria.fr/ci.inria.fr integration
Leider ist der Eintrag nur auf Amerikanisches Englisch verfügbar.
(English) dtk coding style
Introduction This document describes the recommended coding style for dtk. This style is not mandatory, but to have consistent formatting of the source code files it is recommended to make use of it. dtk coding style follows the Qt coding style, with few differences desribed here after. Rules Indentation 4…
(English) Create a GitLab Page for a given project
Leider ist der Eintrag nur auf Amerikanisches Englisch und Französisch verfügbar.
How to move directory from a git repo to another
This post is a copy from Matthias Schoettle’s blog Let us just moved one directory within a Git repository to a directory within another repository including its history. For example: repositoryA/ „`console ………../directoryToKeep ………../otherDirectory ………../someFile.ext repositoryB/ ………../someStuff The goal is to move directoryToKeep into repositoryB with its history, i.e., all…
Long time booting on ubuntu 18.04 : solved
Intro Histoire de ne pas re-rechercher pendant des heures la solution, je copie ici la suite des instructions qui m’ont permis de réduire de 30s le temps de démarrage de Ubuntu 18.04 sur mon HP EliteBook 840. Le symptôme Il est simple: un temps insensé pour arriver à mon écran…
(English) StatisKit – Dreamtech
Leider ist der Eintrag nur auf Amerikanisches Englisch verfügbar.
Using containers on the Nef cluster.
Containers are becoming a very popular way of packaging software nowadays. The most used format is currently docker container images. One problem with docker is that you can’t use it on Nef since it requires a root daemon that bypasses the OAR scheduler running on Nef nodes. So we need…
(English) gitlab.inria.fr/ci.inria.fr integration
Leider ist der Eintrag nur auf Amerikanisches Englisch verfügbar.
