Install a profile with our fonts as default.

Possible workaround for #13, but attn! installs our fonts to the user's profile! (or at least tries to …)
faustedition · May 22, 2017 · 88d861f · 88d861f
1 parent eb33527
commit 88d861f
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -340,6 +340,11 @@
 						<filtering>false</filtering>
 						<targetPath>${project.build.directory}/www</targetPath>
 					</resource>
+					<resource>
+						<directory>src/main/profile</directory>
+						<filtering>false</filtering>
+						<targetPath>${project.build.directory}/profile</targetPath>
+					</resource>					
 				</resources>
 			</build>
 		</profile>
@@ -433,6 +438,20 @@
 			</build>
 		</profile>
 
+		<profile>
+			<id>install-fonts</id>
+			<activation><activeByDefault>true</activeByDefault></activation>
+			<build>
+				<resources>
+					<resource>
+						<directory>src/main/web/webfonts</directory>
+						<targetPath>${user.home}/.fonts</targetPath>
+						<includes><include>*.ttf</include></includes>
+					</resource>
+				</resources>
+			</build>
+		</profile>
+
 		<profile>
 			<id>exist</id>
 			<properties>

diff --git a/src/main/java/net/faustedition/gen/DiplomaticConversion.java b/src/main/java/net/faustedition/gen/DiplomaticConversion.java
@@ -55,6 +55,7 @@ public class DiplomaticConversion {
 
 	public static Path root = Paths.get("data/xml/");
 	public static Path target = Paths.get("target");
+	public static Path profile = target.resolve("profile");
 	public static final Path diplomatic_path = target.resolve("www").resolve("transcript").resolve("diplomatic");
 	private static String serverURL;
 
@@ -219,6 +220,7 @@ public static void main(final String[] args) throws IOException {
 			logger.info(MessageFormat.format("Web server runs on {0}", serverURL));
 			baseCmdLine = ImmutableList.of(
 					System.getProperty("phantomjs.binary", "/usr/local/bin/phantomjs"), 
+					"--profile", profile,
 					debugPhantomJS? "--debug=true" : "",
 					"rendersvgs.js",
 					serverURL);

diff --git a/src/main/profile/prefs.js b/src/main/profile/prefs.js
@@ -0,0 +1,6 @@
+user_pref("font.name.monospace.x-unicode", "Ubuntu Mono");
+user_pref("font.name.monospace.x-western", "Ubuntu Mono");
+user_pref("font.name.sans-serif.x-unicode", "Ubuntu Faust");
+user_pref("font.name.sans-serif.x-western", "Ubuntu Faust");
+user_pref("font.name.serif.x-unicode", "Gentium Plus");
+user_pref("font.name.serif.x-western", "Gentium Plus");