Dream - SED Sophia Antipolis Méditerrannée
Dream is the local name of CRISAM's service for supporting experiments & development, aka. SED.
Our service is composed of research engineers providing support for development, experiments and the management of experimental platforms. The team keeps up on technological advances.
This website is mainly used to provide blog posts about our activity. For institutional information, please visit the appropriate section on the Inria intranet.
To add a RSS feed to our blogposts, please click on the following link: https://iww.inria.fr/sed-sophia/feed.
To contact us, please send email to sed-sophia@inria.fr.
Remove folder and its contents from git/GitHub’s history
This post is a copy from a thread on stackoverflow It was found that the –tree-filter option used in other answers can be very slow, especially on larger repositories with lots of commits. Here is the method that one can use to completely remove a directory from the git history…
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…
A Hello World Python Repository
python-hello_world This repository contains an example of a minimal Python package. The setup.py file is central, it uses setuptools to package the python code. In the following we consider that a Conda environment has been created and activated. You can for instance use the development environment described in the conda/environment.yaml…
GRUB lacks write support for lvm : solved
Intro On reprend les mêmes et on recommence. Le post précédent m’a permis d’obtenir un temps de boot raisonnable. Mais il se trouve que depuis le dernier update de mon système, l’interface GRUB a ressurgi de nulle part avec un timeout de 30s… ne nous énervons pas… Je n’ai rien…