C’est une petite note sur comment créer une page GitLab Pages pour un projet donné. Créez un fichier .gitlab-ci.yml comme indiqué ici : https://gitlab.inria.fr/help/user/project/pages/getting_started/new_or_existing_website.md (partez de HTML si vous n’avez pas à compiler un framework, ou choisissez le framework que vous utilisez sinon, par exemple vous pouvez partir d’un fichier…
The PaneSlider is a component from dtkWidgets that displays widgets and that can slide on the right to display more menus. Currently this PaneSlider is a bit problematic. There are some annoying bugs related to sliding, where it only slide halfway or where widgets are not displayed . To find…
GPU cards were originally designed for graphics. Over years, their powerful massively parallel architectures became used for AI and HPC computations. High level frameworks, like Tensorflow or Pytorch in the deep-learning field, permitted wide adoption by hiding complexity from lower programming layers like CUDA. Now OpenACC or OpenMP permit easy…
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…
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…
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…
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…
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…
