Catégories

Latex and VSCode

  • WIN + x, a
  • This means : Press the window key AND the X key. Then press A
  • It launches an elevated console
  • Install choco with the line below
  • Set-ExecutionPolicy Bypass -Scope Process -Force; [System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; iex ((New-Object System.Net.WebClient).DownloadString('https://community.chocolatey.org/install.ps1'))
  • Install MiKTteX with the line below
  • choco install miktex -y
  • Install Perl (mandatory for MiKTeX)
  • choco install StrawberryPerl -y
  • Install VSCode
  • choco install vscode -y

    Close the terminal and open a new one. The new terminal is required ...

    Lire la suite Latex and VSCode

    Raccourcis PowerShell & Windows Terminal

    WIN + X, A Lance en mode AdminWIN + X, i Lance en mode UserWIN + ²Mode Quake (WIN + ² pour sortir)ALT + ENTER Full screen sans titre de fenêtre (ALT + ENTER pour sortir) CTLR + LClear screen SHIFT + ENTER n'importe où sur la ligneAjoute et passe à la ligne dessous CTRL + ENTER n'importe où sur la ligneAjoute et passe à la ligne dessus  TAB et SHIFT TABComplétion des commandes et des paramètres SHIFT + DROIT ou SHIFT + GAUCHESélectionSHIFT + HOMESélection jusqu'au débutSHIFT + EndSélection juqu'en fin de ligneCTRL + A Sélectionne toute la ligneClic DROITCopie ...

    Lire la suite Raccourcis PowerShell & Windows Terminal

    Configurer Remote PowerShell (WinRM) dans un WORKGROUP


    Introduction

    On va voir dans ce billet comment, dans un contexte privé (WORKGROUP, pas de nom de domaine ni de serveur AD) mettre en oeuvre PowerShell en mode remote. On mettra en oeuvre 2 méthodes différentes.

    L'objectif est de pouvoir gérer les machines de la tribu à partir d'un seul terminal.

    Le set-up

  • Machine locale de l'administrateur = 5PRO-PHILIPPE = 192.168.1.49 = Win 11 Pro 22H2
  • Machine distante utilisateur = PC-MARTINE = 192.168.1.30 = Win10 Pro 22H2
  • Machine distante utilisateur = VIRT11-PHILIPPE = 192.168.1.15 = Win 11 Pro 22H2
  • Afin de fixer le vocabulaire

  • La machine locale est ...

    Lire la suite Configurer Remote PowerShell (WinRM) dans un WORKGROUP

  • Choix de mon prochain PC 2023


    Introduction

    Novembre 2022, je suis en train de changer de PC et je me dis qu'il est peut-être utile de regrouper sur une page mes notes, les points étudiés, mon "cahier des charges" etc. Il y aura donc un maximum de liens à consulter et à garder sous le coude. Même si finalement vous choisissez un autre type de PC, j'imagine que les points abordés ici seront toujours utiles.

    Désolé le "post" est un peu long

    Allez, c'est parti.

    Mon précédent PC est un Surface Book i7 qui date de 2016. En fait, j'ai du mal à retrouver ...

    Lire la suite Choix de mon prochain PC 2023

    Linux Mint 21 - Share Folder in Windows Home Network


    Windows PC

    I run Windows 11. I connect to the Linux workstation (Mint 21) using ssh in a Windows Terminal. At this time, I can't use the name of the remote station, instead, I use its IP address

    ssh philippe@192.168.1.44

    Linux PC

    Once connected to the Linux box

    sudo apt install samba
    sudo apt install wsdd

    Check if wsdd is up and running

    sudo service wsdd status wsdd.service - Web Services Dynamic Discovery host daemon Loaded: loaded (/lib/systemd/system/wsdd.service; enabled; vendor preset: enabled) Active:  ...

    Lire la suite Linux Mint 21 - Share Folder in Windows Home Network

    Linux Mint 21 - Install PowerShell

    Copy & paste the lines below

    sudo apt upgrade -y sudo apt install dirmngr ca-certificates software-properties-common gnupg gnupg2 apt-transport-https curl -y curl -fsSL https://packages.microsoft.com/keys/microsoft.asc | gpg --dearmor | sudo tee /usr/share/keyrings/powershell.gpg > /dev/null echo deb [arch=amd64,armhf,arm64 signed-by=/usr/share/keyrings/powershell.gpg] https://packages.microsoft.com/ubuntu/22.04/prod/ jammy main | sudo tee /etc/apt/sources.list.d/powershell.list sudo apt update sudo apt install powershell -y 

    In a console launch Powershell using the command below

    pwsh

    ...

    Lire la suite Linux Mint 21 - Install PowerShell

    Windows 11 22H2 - Sauvegarde sur disque externe & OneDrive

    Je suis sous Windows 11 22H2. Cette fonction de sauvegarde sur disque externe existe depuis longtemps mais n'est pas/plus mise en avant car Microsoft fait dorénavant la promotion de la sauvegarde sur OneDrive (ce que je peux comprendre d'une certaine mesure). Dans ce qui suit je vais connecter un disque USB sur la LiveBox5 de la maison car cette dernière est toujours allumée. Ensuite on programmera une sauvegarde régulière. Enfin on verra comment ça se passe quand on active OneDrive et ce qu'il peut être judicieux de faire dans son répertoire "users" (création de liens symboliques etc.). Allez, c'est ...

    Lire la suite Windows 11 22H2 - Sauvegarde sur disque externe & OneDrive