search

genodelabs / genode-world

Collection of community-maintained components for Genode
Other
44 stars 46 forks source link

seoul: fix invocation of isoinfo for UTF-8 systems #314

Closed atopia closed 1 year ago

atopia commented 1 year ago

On my system, the invocation of the isoinfo tool fails because it outputs Setting input-charset to 'UTF-8' from locale. to stderr, despite not returning an error code and successfully outputting the requested grub.cfg file.

As a workaround, redirect stderr to /dev/null to make the run script work on systems with non-C locale.

atopia commented 1 year ago

@alex-ab I would appreciate if you could have a look. I'm not very familiar with run scripts yet, but despite exec being a system()-like interface, something along [exec LC_ALL=C command] does not seem to be supported.

chelmuth commented 1 year ago

The redirection of stderr is all right. Your alternative command could be implemented by running a sub-shell like follows.

exec sh -c "MYVAR=test commandline"