Advertisement
jjdeharo

cambia_editor

Aug 28th, 2017
670
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Julia 0.51 KB | None | 0 0
  1. #=
  2. Este programa define gedit como el editor por defecto del REPL modificando la variable de entorno ENV["EDITOR"] durante el inicio de Julia. Cambiar "gedit" por otro ejecutable si se desea otro.
  3. Crea el archivo .juliarc.jl o añade una línea nueva si es que ya existe.
  4. =#
  5.  
  6. archivo = joinpath(homedir(), ".juliarc.jl")
  7.  
  8. f = IOStream
  9.  
  10. if isfile(archivo)
  11.     f = open(archivo, "a")
  12. else
  13.     f = open(archivo, "w")
  14. end
  15.  
  16. println(f, "\# Editor por defecto:")
  17. println(f, "ENV[\"EDITOR\"] = \"gedit\"")
  18.  
  19. close(f)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement