SSH host keys have changed! See this Discourse post for details.

  • Dmitry Yu. Naumov's avatar
    [T] Format files with xmlstarlet. · 5d75245f
    Dmitry Yu. Naumov authored
    Also fixes the executable bit; now 644.
    Replace tabs followed by xmlstarlet format:
    tmpfile=$(mktemp /tmp/xmlformat.XXXXXX)
    sed 's/\t/    /g' ${1} > ${tmpfile} && mv ${tmpfile} ${1}
    xmlstarlet fo -s 4 ${1} > ${tmpfile} && mv ${tmpfile} ${1}
    rm -rf ${tmpfile} # if something goes wrong
cube_1e1_neumann.prj 4.21 KB