batch_edit.sed

# Plan for future changes on master branch
# ----------------------------------------------------------------------------
# None of the lists below can have white space or a dollar sign in an entry.
#
# list of directories that are added to the repository by batch_edit.sh
# new_directories='
# '
# list of files that are deleted by batch_edit.sh
# delete_files='
# '
# List of files that are not edited by the sed commands in this file
# (with the possible exception of the extra_seds commands).
# The files in bin/devel.sh ignore_files are automatically in this list.
# ignore_files='
# '
# list of files and or directories that are moved to new names
# move_paths='
#  devel/table/check_node_cov.cpp
#  devel/table/get_node_cov_table.cpp
#  example/table/node_cov_table.py
#  example/user/node_cov_table.py
#  include/dismod_at/check_node_cov.hpp
#  include/dismod_at/get_node_cov_table.hpp
#  xrst/table/node_cov_table.xrst
# '
# list of sed commands that map old file and directory names to new names.
# The characters @s, @d, @n get converted to a space, dollar sign, new line.
# move_seds='
#  s|node_cov|rate_eff_cov|
# '
# list of files that get edited by the extra_seds command
# extra_files='
# '
# list of sed commands that are applied to the extra files,
# after the other sed commands in this file.
# The characters @s, @d, @n get converted to a space, dollar sign, new line.
# extra_seds='
# '
# ----------------------------------------------------------------------------
# Put other sed commands below here and without # at start of line
s|NODE_COV|RATE_EFF_COV|g
s|node_cov|rate_eff_cov|g
s|\(rate_eff_cov_struct>&*\)     |\1 |
s|\(rate_eff_cov_table\)     |\1 |
# ----------------------------------------------
/^rate_eff_cov_id$/ b one
/^rate_eff_cov_table$/ b one
/^rate_eff_cov_struct$/ b one
b end
#
: one
N
s|\n\(.\)|\n\1\1\1\1\1|
# ----------------------------------------------
: end