5908952004-12-03Per Hedbor void main() { string sc = Stdio.read_file(getenv("HOME")+"/.aido/mplayer-codecs.conf" ); string a, b; if( sscanf( sc, "%svideocodec mpegpes%*sout MPES%s", a, b ) == 3 ) { sc = a + b; Stdio.write_file( getenv("HOME") + "/.aido/mplayer-codecs.conf", sc ); } }