Pinned

1. Remove Remote Git Tag Remove Remote Git Tag

   1

   git tag -d "tag_name"

   2

   git push --delete origin "tag_name"

2. Quick & dirty dark theme Quick & dirty dark theme

   1

   ((invertImages, invertCode, applyBlackBackground) => {

   2

   	document.body.style.filter = "invert()"

   3

   	document.body.style.background = applyBlackBackground ? "black" : "white"

   4

   	Array.from(document.querySelectorAll("pre")).map(pre => pre.style.filter = invertCode ? "invert()" : null)

   5

   	Array.from(document.querySelectorAll("img")).map(img => img.style.filter = invertImages ? "invert()" : null)

3. What I Understand about PowerShell A... What I Understand about PowerShell Approved Verbs

   1

   # PowerShell Tips

   2

   3

   ## `Write-Host` vs `Write-Output`

   4

   5

   `Write-Host` writes directly to the console; `Write-Output` writes to the pipeline, which often ends up to the console but not necessarily.

4. CallerMemberName works on fields! CallerMemberName works on fields!

   1

   using System.Runtime.CompilerServices;

   2

   3

   static class Program {

   4

   	class Symbol {

   5

   		public readonly string DebugName;