From 4e877a206e67132e420c496247f578dcc38b9dee Mon Sep 17 00:00:00 2001 From: Daniel Schwabeneder Date: Wed, 22 Apr 2020 19:28:12 +0200 Subject: [PATCH] fix double extensions in savefig --- src/output.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/output.jl b/src/output.jl index 96f65d3d..e99ce535 100644 --- a/src/output.jl +++ b/src/output.jl @@ -93,6 +93,8 @@ const _savemap = Dict( "txt" => txt, ) +const _extension_map = Dict("tikz" => "tex") + function getExtension(fn::AbstractString) pieces = split(fn, ".") length(pieces) > 1 || error("Can't extract file extension: ", fn) @@ -104,7 +106,7 @@ end function addExtension(fn::AbstractString, ext::AbstractString) try oldext = getExtension(fn) - if string(_savemap[oldext]) == ext + if get(_extesion_map, oldext, oldext) == ext return fn else return "$fn.$ext"