400 reputation
1413
bio website
location Paris, France
age
visits member for 3 years, 6 months
seen 2 days ago

Author of github-keygen.

Perl expert.


2d
comment Powershell font too small on Windows 8.1 - how to adjust?
Worse: typing "PowerShell" from a "cmd.exe" window that has the right settings does the resizing...
2d
revised Powershell font too small on Windows 8.1 - how to adjust?
added 132 characters in body
2d
answered Powershell font too small on Windows 8.1 - how to adjust?
2d
comment Powershell font too small on Windows 8.1 - how to adjust?
This is probably a permission issue. This question may have useful answers to solve our problem.
2d
comment Powershell font too small on Windows 8.1 - how to adjust?
This works only for the current window. This isn't remembered, and the resizing still occurs, even if I change the "default" settings. Cmd.exe windows are fine.
2d
comment Powershell font too small on Windows 8.1 - how to adjust?
I suffer from the same issue. The font is sized to bitmap 4x6 despites I set default settings for consoles to Lucida Console 24pt.
Apr
4
awarded  Yearling
Apr
4
awarded  Necromancer
Feb
5
answered urxvt uses pink instead of solarized until I run xrdb ~/.Xresources
Oct
25
awarded  Famous Question
Sep
20
revised Installing Git on Windows
Add tag msysgit
Sep
20
revised SSH Github can't connect
Add the 'ssh' tag
Sep
20
revised ssh key reset every computer restart
Add tags 'ssh' and 'openssh'; remove 'git'
Sep
20
suggested suggested edit on Installing Git on Windows
Sep
20
answered Cygwin SSH and Github
Sep
20
suggested suggested edit on ssh key reset every computer restart
Sep
20
answered SSH Github can't connect
Sep
20
suggested suggested edit on SSH Github can't connect
Sep
20
comment Tell git which private key to use
I'm using this trick in my github-keygen tool that I built to manage SSH keys and settings for Github.
Mar
9
awarded  Revival