118 reputation
6
bio website marcolancini.it
location
age
visits member for 1 year, 10 months
seen Aug 11 at 8:20

Jul
8
awarded  Popular Question
Dec
19
awarded  Popular Question
Sep
9
comment Shell not recognised by configuration scripts
@Rinzwind thanks for the tip. I've solved this problem forcing the autoconf to use bash: CONFIG_SHELL=/bin/bash ./configure
Sep
9
comment Shell not recognised by configuration scripts
sadly, this is not an option at the moment. I've to stick with bash 3.00
Sep
9
comment Shell not recognised by configuration scripts
nope, it doesn't show anything
Sep
9
comment Shell not recognised by configuration scripts
No, I don't get any permission denied error. Also, the ownerhip settings of /dev/null are correct...
Sep
9
asked Shell not recognised by configuration scripts
May
24
awarded  Editor
May
13
awarded  Scholar
May
13
accepted Convert dd image file to iso
May
10
awarded  Student
May
10
asked Convert dd image file to iso
Oct
30
awarded  Supporter