diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-05T14·22+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-05T15·04+0000 |
| commit | df035ca832ea9ec152743e8c594b211bcf20a086 (patch) | |
| tree | 4fd1e0372fa2cfb2440854d462618b804310a901 /configs/work_laptop | |
| parent | 86e1b82d2de410c650e96f0f2ed47987be1db72a (diff) | |
Use home-manager to support SSH
I didn't port everything from .ssh/config to home-manager. I omitted a few hosts that I don't connect to anymore. I also omitted the `corp-ssh-helper` configuration.
Diffstat (limited to 'configs/work_laptop')
0 files changed, 0 insertions, 0 deletions