Project

General

Profile

« Previous | Next » 

Revision 1460

Added by Aaron Marcuse-Kubitza over 12 years ago

Renamed bin/errors_filter_* to filter_errors_* to sound more natural and to have a different prefix than error_stats so that both can easily be tab-completed at the command line

View differences:

bin/errors_filter_before
1 
#!/bin/bash
2 
# Prepares `map` error messages for easy filtering
3 
# Usage: self {input...|<input}
4 

  		




  5
  
  
    
sed -e $'s/^\e\[101;97m/\f&/' "$@"|tr '\n\f' '\r\n'


  		




  6
  0
  
    

  		












  

    
      bin/errors_filter_after
    
  





  1
  
  
    
#!/bin/bash


  		




  2
  
  
    
# Restores line breaks in `map` error messages prepared by errors_filter_before


  		




  3
  
  
    
# Usage: self <input


  		




  4
  
  
    

  		




  5
  
  
    
tr '\r' '\n'


  		




  6
  0
  
    

  		












  

    
      bin/filter_errors_after
    
  





  
  1
  
    
#!/bin/bash


  		




  
  2
  
    
# Restores line breaks in `map` error messages prepared by errors_filter_before


  		




  
  3
  
    
# Usage: self <input


  		




  
  4
  
    

  		




  
  5
  
    
tr '\r' '\n'


  		




  0
  6
  
    

  		












  

    
      bin/filter_errors_before
    
  





  
  1
  
    
#!/bin/bash


  		




  
  2
  
    
# Prepares `map` error messages for easy filtering


  		




  
  3
  
    
# Usage: self {input...|<input}


  		




  
  4
  
    

  		




  
  5
  
    
sed -e $'s/^\e\[101;97m/\f&/' "$@"|tr '\n\f' '\r\n'


  		




  0
  6
  
    

  		












Also available in:  Unified diff