1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
/* -*- Mode: pike; tab-width: 8; c-basic-offset: 3; -*- */ 
 
void main() 
{ 
    string codexconf = getenv("HOME")+"/.aido/mplayer-codecs.conf"; 
    string sc = Stdio.read_file( codexconf ); 
    string a, b; 
    if( sscanf( sc, "%svideocodec mpegpes%*sout MPES%s", a, b ) == 3 ) 
    { 
        sc = a + b; 
        Stdio.write_file( codexconf, sc ); 
    } 
}