Search: [Tips] - Jérémy's Bookmarks

8 results tagged Tips ✕

An Excruciatingly Detailed Guide To SSH (But Only The Things I Actually Find Useful) https://grahamhelton.com/blog/ssh-cheatsheet/

Thu Sep 7 10:34:29 2023

psql Tips https://psql-tips.org/psql_tips_all.html

Sat Aug 19 10:19:30 2023

How to augment a Prometheus query result with the labels of another metric that many not always be there https://rudd-o.com/linux-and-free-software/how-to-augment-a-prometheus-query-result-with-a-label-that-may-not-always-be-present

Tue Jul 18 10:59:38 2023

Simplement expliqué

How to list all the targets on a Makefile https://diamantidis.github.io/tips/2020/07/01/list-makefile-targets

Tue Jul 28 20:27:18 2020

What You Probably Didn’t Know About Sudo - aster.cloud https://aster.cloud/2019/12/17/what-you-probably-didnt-know-about-sudo/

Sun Jan 12 16:37:06 2020

Quelques astuces diverses, treizième – Le blog de Seboss666 https://blog.seboss666.info/2018/08/quelques-astuces-diverses-treizieme/

Sun Aug 12 10:32:29 2018

30 Handy Bash Shell Aliases For Linux / Unix / Mac OS X - nixCraft https://www.cyberciti.biz/tips/bash-aliases-mac-centos-linux-unix.html

Tue Mar 27 16:58:07 2018

Les astuces DuckDuckGo productives pour développeurs et sysadmins https://buzut.fr/gagner-du-temps-avec-duckduckgo/

Sun Mar 4 17:16:38 2018

841 links, including 6 private