Skip to content

Instantly share code, notes, and snippets.

View neshkeev's full-sized avatar

Nikita Eshkeev neshkeev

View GitHub Profile
@neshkeev
neshkeev / coq-math-fonts
Created January 1, 2021 13:41
Configure coq math fonts
pacman -S xorg-mkfontscale
pacman -S texlive-core texlive-fontsextra
ls /usr/share/texmf-dist/fonts/opentype/public/
mkdir -p ~/.fonts/OTF/
ln -s /usr/share/texmf-dist/fonts/opentype/public/*ath* ~/.fonts/OTF
ls ~/.fonts/OTF/
fc-cache ~/.fonts
mkfontscale ~/.fonts/OTF
mkfontdir ~/.fonts/OTF
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Fast optimizing /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/sjsjunittests-test-fastopt.js
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Fast optimizing /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/sjsjunittests-test-fastopt.js
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Compiling 44 Scala sources to /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/test-classes ...
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Compiling 44 Scala sources to /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/test-classes ...
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Compiling 44 Scala sources to /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/test-classes ...
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Fast optimizing /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/sjsjunittests-test-fastopt.js
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Test run started
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Fast optimizing /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/sjsjunittests-test-fastopt.js
[info] Loading settings for project dotty-build-build from build.sbt ...
[info] Loading project definition from /home/me/dotty/project/project
[info] Loading settings for project dotty-build from plugins.sbt,build.sbt ...
[info] Loading project definition from /home/me/dotty/project
[info] Loading settings for project dotty from build.sbt ...
[info] Resolving key references (15694 settings) ...
[info] Set current project to dotty (in build file:/home/me/dotty/)
[info] Checking out Scala.js source version 1.0.0-M8
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Compiling 44 Scala sources to /home/me/dotty/tests/sjs-junit/../out/bootstrap/sjsJUnitTests/scala-0.19/test-classes ...