Difference between revisions of "User:Ehrenfeu"

(Eclipse: save instructions here in case stackoverflow discards them...)
(Add user box)
Line 1: Line 1:
== My personal bookmarks ==
+
{{Userbox
 +
| name = Niko Ehrenfeuchter
 +
| gravatar = 3601247620da66cec7e832e08c536b36
 +
| forum = ehrenfeu
 +
| github = ehrenfeu
 +
}}== My personal bookmarks ==
  
 
==== Tech ====
 
==== Tech ====

Revision as of 12:11, 15 October 2015

Niko Ehrenfeuchter
Image.sc Forum ehrenfeu
GitHub ehrenfeu

My personal bookmarks

Tech

Imgproc

Building Fiji

(currently just a scratchpad to collect stuff that should go in the official "fiji-devel" page)

requirements

for ubuntu 12.04 (precise)

git-core curl unzip
Eclipse
Font Sizes

From Stackoverflow: How to set the System Font for Eclipse (Linux only)

Create a file, e.g. ~/.gtkrc-eclipse with this content:

style "eclipse" {
    font_name = "Sans Condensed 8"
}
class "GtkWidget" style "eclipse"


Then run eclipse using this command:

GTK2_RC_FILES=~/.gtkrc-eclipse eclipse