(How) to delete all instances of a character from a file:
The following example deletes all instances of the character ‘v’
cat someFile | tr -d v
(How) to replace all instances of a character with another:
The following example replaces all space characters with the new line character
cat someFile | tr ' ' '\n'
head -n -$N inputFile > outputFile
Where $N is the number of the line from the end which you want to stop printing.
For example if you want to delete the last line you must issue the following:
head -n -1 inputFile > outputFile
tail -n +$N inputFile > outputFile
Where $N is the number of the line which you want to start printing from.
For example if you want to delete only the first line / start printing from the second line you must issue the following:
tail -n +2 inputFile > outputFile
By downloading PrecoSAT from http://fmv.jku.at/precosat/ and trying to install it on Ubuntu 11.10 32-bit (Oneiric Ocelot) by:
I got the following error at make:
g++ -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO -c precomain.cc In file included from precomain.cc:23:0: precosat.hh:164:31: error: ‘ptrdiff_t’ has not been declared precosat.hh:270:13: error: ‘ptrdiff_t’ has not been declared make: *** [precomain.o] Error 1
which can be resolved by adding
#include <cstddef>
at the includes in the file precosat.hh
