editor` so we can tell which editor it is
#26076

Merged

call `realpath` on `/etc/alternatives/editor` so we can tell which editor it is #26076

JeffBezanson merged 1 commit into master from jb/alteditor

JeffBezanson added system:linux

Keno approved these changes on 2018-02-16

vtjnash commented on 2018-02-16

call `realpath` on `/etc/alternatives/editor` so we can tell which ed…

b132d7c7

JeffBezanson force pushed from 5b86b857 to b132d7c7 7 years ago

JeffBezanson changed the title ~~call `readlink` on `/etc/alternatives/editor` so we can tell which editor it is~~ call `realpath` on `/etc/alternatives/editor` so we can tell which editor it is 7 years ago

JeffBezanson merged 7d170bee into master 7 years ago

JeffBezanson deleted the jb/alteditor branch 7 years ago

Reviewers

Keno

vtjnash

Assignees

No one assigned

Labels

system:linux

Milestone

No milestone

julia call `realpath` on `/etc/alternatives/editor` so we can tell which editor it is #26076 Merged

call `realpath` on `/etc/alternatives/editor` so we can tell which editor it is #26076

julia
call `realpath` on `/etc/alternatives/editor` so we can tell which editor it is
#26076

Merged