MrLuje
bisen2
/ code.fsx
Created
February 23, 2024 15:14
Async Measurement System - https://www.reddit.com/r/fsharp/comments/1axytrf/creating_an_application_with_asynchronous_io_and/
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open System | |
| type MeasurementObservable<'data> () = | |
| let observers = ResizeArray<IObserver<'data>>() | |
| member _.report (value: 'data) = | |
| observers | |
| |> Seq.iter (fun obs -> obs.OnNext value) | |
| interface IObservable<'data> with |
jkone27
/ generateAspnetcore.fsx
Created
April 14, 2023 14:58
script to generate aspnetcore load scripts for currently installed frameworks to be used in dotnet interactive
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // original version of the script below, awesome thanks angry-byrd! | |
| // https://github.com/TheAngryByrd/IcedTasks/blob/72638c8719014ae963f2662449c99f87090041d1/generate-sdk-references.fsx | |
| open System | |
| open System.IO | |
| open System.Diagnostics | |
| open System.Text.RegularExpressions | |
| // This script is used to generate the .fsx files that are used to load the .NET SDK. | |
| // It will generate a .fsx file for each version of the .NET SDK that is installed. |
koush
/ .bash_profile
Last active
February 23, 2022 23:54
Put this in your .bash_profile(s) to open VS Code on your local machine while SSH'd into a remote machine.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # this needs to be on the *remote* machine. | |
| if [ ! -z "$SSH_CLIENT" ] | |
| then | |
| function code() { | |
| local ssh_client_host=$(echo $SSH_CLIENT | cut -d ' ' -f1) | |
| if [ -z "$1" ] | |
| then | |
| local argpath="." |
NickCraver
/ Microsoft.PowerShell_profile.ps1
Last active
October 3, 2025 16:01
Craver's oh-my-posh profile
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This goes in your Microsoft.PowerShell_profile.ps1 (can find the path via $PROFILE in your prompt) | |
| Import-Module -Name posh-git,oh-my-posh,Terminal-Icons | |
| Set-PoshPrompt -Theme craver |