NunoSempere
04070a934e
This bash function was helpful:
function replace(){
grep "$1" -rl .
grep "$1" -rl . | xargs sed -i "s/$1/$2/g";
}
|
||
|---|---|---|
| .. | ||
| 01_one_sample | ||
| 02_many_samples | ||
| 03_gcc_nested_function | ||
| 04_sample_from_cdf_simple | ||
| 05_sample_from_cdf_beta | ||