Project

General

Profile

« Previous | Next » 

Revision 961

Added by Aaron Marcuse-Kubitza almost 13 years ago

Added errors_filter_before and errors_filter_after to prepare `map` error messages for easy filtering and then restore line breaks

View differences:

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'


  		




  0
  6
  
    

  		












  

    
      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'


  		




  0
  6
  
    

  		












Also available in:  Unified diff