Bilelz blog

IDE : VSCode Extension : GitLens Configuration : Modifiez le fichier settings.json en y ajoutant la configuration suivante : { "gitlens.autolinks" : [ { "prefix" : "#JIRA-" , "url" : "https://si-jira.worldcompany.fr/browse/JIRA-<num>" } , { "prefix" : "#TICKET-" , "url" : "https://lorem.ipsum.fr/browse/TICKET-<num>" } ] } Cette configuration permet d'afficher automatiquement un lien cliquable sur le numéro de ticket lorsqu'on survole un commentaire Git avec la souris. Source : https://help.gitkraken.com/gitlens/gitlens-settings/#autolink-settings

🌴🌃 València

157 Plaça del Tribunal de les Aigües

Changer le launcher par défaut d'une box android tv (nvidia shiled)

Installer le launcher sur vous voulez utiliser par défaut. Par exemple Projectivy Launcher https://play.google.com/store/apps/details?id=com.spocky.projengmenu Activez les options de développement sur votre appareil Nvidia Shield TV. Aller aux paramètres" Sélectionnez "Préférences de l'appareil" Sélectionnez "À propos" Faites défiler vers le bas et cliquez plusieurs fois sur Construire jusqu'à ce qu'un message toast apparaisse disant : « Vous êtes maintenant un développeur ». Les options de développement devraient maintenant être activées sur votre appareil Shield TV. Activez l'accès adb sur votre appareil Nvidia Shield TV. Aller aux paramètres" Sélectionnez "Préférences de l'appareil" Faites défiler vers le bas et choisissez "Options pour les développeurs" Activez « Activer les options du développeur ». Faites défiler vers le bas et activez « Débogage du réseau ». Notez l'adresse IP et le port affichés. Vous ...

🦌 Ma biiiche 🦌

Configuration d'un nom de domaine personnalisé pour votre site GitHub Pages

Si vous avez un site web hébergé chez Github Pages, vous utilisez par défaut le nom de domaine [username].github.io/[repositoy-name]. Exemple : https://bilelz.github.io/www j.doe.github.io/world 👉 world.com Pour exposer votre site web à partir d'un autre nom de domaine ( bilelz.dev pour ma part), la configuration se fera chez GitHub et chez votre fournisseur de nom de domaine (OVH dans ce tutoriel): Github : Aller dans les paramètres de votre dépôt git Onglets Pages Dans la section Custom domain , saisir votre nom de domaine (bilelz.dev dans ce screenshot) OVH : Ajouter ces 4 entrées A dans votre zone DNS: 185.199.108.153 185.199.109.153 185.199.110.153 185.199.111.153 Ces adresses IP sont listées dans la documentation Github : https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github-pages-site/managing-a-custom-domain-for-your-github-pages-site#configuring-an-apex-domain Chez OVH on les ajoute une par une : Ajouter u...

Libellés

👍
78
a11y
AC3
Adobe
aften
Ajax
algérie
amazon
AMR

Android
Android Wear
AndroidTV
apache
App
Apple
Aspirateur
audio
Bejaïa
bittorrent
Blog
Blogger
book
Bug
business
Buzz
calendar
calendrier
chef de projet
Chrome
Chromium
Citation
ComicSansMs
Compression
Conversion
covidー19
CSS
Date
dcadec
développeur
doodle
DTS
Ecran
emoji
Engadget
Evolution
facebook
fancybox
Firefox
Flash
Fond d'écran
Font
Football
France
Freebox
Freelance
galaxy nexus
games
Geek
gif
git
github
gitlab
GMail
Google
google+
GT5
gtalk
gzip
Hack
HD
HDR
Hi-tech
Hibernation
highcharts
hostname
HTML
HTML5
humour
icons
Identification
idf
Informatique
Internet
Internet Explorer
ios
iPad
iphone
Javascript
Jeu vidéo
jira
jQuery
kindle
La petite semaine
launcher
Libre
Linux
Login
Mail
MKV
Mobile
Mosquée
MP3
Musique
Nasa
Navigateur
Netvibes
Notification
Ntfs
ntfsprogs
NTP
nvidia
Optimisation
ovh
pad
Paint
partition
Path
phone
Photo
php
Pic of day
Picasa
pirate
pixel3
Plugin
Police
Projet informatique
pwa
pyRenamer
python
regedit
Renommage massif
responsive
revuedudev
rgaa
rTorrent
sales
ScrapBook
Scroll
shield
sideProject
smartwatch
Sonnerie
spam
svg
Teams
Télécommande
Téléphone
Thunderbird
tips
TV
twitter
typescript
Ubuntu
Unix
USB
vanillajs
Veille
Videos
Virus
Volcan
vscode
w3c
wallpaper
wamp
Web
webkit
Windows
windows10
xbox
youtube
Zoom

Plus d'éléments Moins d'éléments

Archiver

2024 4

2023 4
2022 9
2020 2
- mai 2020 1
- février 2020 1
2017 1
- février 2017 1
2016 2
- avril 2016 1
- février 2016 1
2015 1
- décembre 2015 1
2014 3
- mars 2014 2
- janvier 2014 1
2013 15
2012 16
2011 5
2010 61
2009 31

Plus d'éléments Moins d'éléments

Nombre total de pages vues

Fourni par Blogger