Stuck on an issue?
Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.
And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.
Add support for host name aliases in SSH config
See original GitHub issueOriginal issue: https://github.com/demystifyfp/FsToolkit.ErrorHandling/issues/45#issuecomment-491184311
After downloading the 1.1.1 nuget package, extracting, and running sourcelink print-json, the URL generated is incorrect.
sourcelink print-json FsToolkit.ErrorHandling.TaskResult.pdb
{"documents":{"/Users/tamizhvendan/DemystifyFpWorks/FsToolkit.ErrorHandling/*":"https://demystifyfp/raw/demystifyfp/FsToolkit.ErrorHandling/1c752129694c21842af13da041ec4def9a152327/*"}}
The package maintainer @demystifyfp is using a git scheme for their remote.
git remote -v
origin git@demystifyfp:demystifyfp/FsToolkit.ErrorHandling.git (fetch)
origin git@demystifyfp:demystifyfp/FsToolkit.ErrorHandling.git (push)
Is there a bug here?
Do we need to configure something specific to support this? If so can we update documentation or make it more accessible?
Issue Analytics
- State:
- Created 4 years ago
- Comments:8 (3 by maintainers)
Top Results From Across the Web
Use Your SSH Config File to Create Aliases for Hosts
Here's the basic format of what you need to put (or add to what you have). Replace "your_alias_name" with a short name for...
Read more >openssh - Host alias for ssh
Host myremote # any name for the host HostName 192.168.178.05 # IP, ... It interfaces your config file and makes adding ssh aliases...
Read more >How To Create SSH Alias In Linux
This brief tutorial describes how to create SSH alias in Linux using SSH Config file and alias command for faster SSH connection.
Read more >Multiple level host alias in ssh config
One method is to create multiple ssh configs to separate work from personal. Something like: ssh -F ~/. ssh/workconf which could be an...
Read more >Defining host aliases in your SSH config
If you want that, add it to the Host row separated by a space character -- this way you can also define multiple...
Read more >
Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free
Top Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Renamed to “Add support for host name aliases in SSH config”
Yeah just make sure you’re changing the correct remote.