Bash - replace string inside all files in directory -


i have 31 .ctl files in directory, looks this:

load data characterset al32utf8   infile '../dane/kontakty_biura_wyborcze.csv' "str '\n'" append table odi_puw_osoby2 fields terminated ';' optionally enclosed '"' , '"' trailing nullcols            ( lp char(4000),              wojewodztwo char(4000),              powiat char(4000),              gmina char(4000),              nazwa_instytucji char(4000),              kod char(4000),              miejscowosc char(4000),              adres char(4000),              nazwisko_i_imie char(4000),              funkcja char(4000),              tel_sluzb_stacjon_1 char(4000),              tel_sluzb_stacjon_2 char(4000),              tel_sluzb_stacjon_3 char(4000),              tel_sluzb_kom_1 char(4000),              tel_sluzb_kom_2 char(4000),              fax_sluzb_1 char(4000),              fax_sluzb_2 char(4000),              email_sluzb_1 char(4000),              email_sluzb_2 char(4000),              www char(4000),              typ constant "biura wyborcze.",              odi_sesja_id constant "20130717144702"              odi_status constant "0",              imie expression     "pg_odi_utils.zwroc_imiona(pg_odi_utils.usun_przyrostki(:nazwisko_i_imie),0)",              nazwisko expression "pg_odi_utils.zwroc_nazwisko(pg_odi_utils.usun_przyrostki(:nazwisko_i_imie),0)"        )

there 31 files this. need replace value in line:

odi_sesja_id constant '20130717144702'

to new timestamp, same files. current timestamp not known (i mean value exists in file currently, in case '20130717144702').

so need (for each file found in directory):

  • find line starting odi_sesja_id
  • replace value after 'odi_sesja_id constant ' new one
  • the rest lines in file should stay untouched

what best way using bash? should use sed or similar tools? how?

something like:

sed 's/\(^[ \t]\+odi_sesja_id\ constant\).*/\1 \"newtimestamp\"/' tmp

should work.

group string retained, adding placeholder (\1) in replacement string. replace newtimestamp whatever value prefer, of course.


Comments

Post a Comment

Popular posts from this blog

How to mention the localhost in android -

i trying call localhost in android application. unfortunately not possible used several methods emulator local host http://10.0.2.2/android/dbconnection.php and network ip address http://192.168.1.xx/android/dbconnection.php also http://localhost:8080/android/dbconnection.php but nothing connected localhost. purpose refer stackoverflow answers not working i facing same problem when worked on localhost. referred stackoverflow answer got solution create new emulator works fine in new emulator.
Read more

php - Calling a template part from a post -

i include iframe within post in wordpress. located inside content of post, meaning cannot in post template file, otherwise either before or after. i'd add facebook plugin within posts: <div id="socialwrap"><div class="fb-like" data-href="http://onlinearizonahomes.info" data-send="true" data-width="450" data-show-faces="true" data-font="arial"></div></div> i thinking of calling template part within post <?php get_template_part( 'social' ); ?> cannot use php within post without plugin (i'd avoid using plugin this). an alternative using javascript create html in post, seems unnecessary use of javascript. what best way add html within wordpress post? you can use shortcode. add functions.php function cudjex_fbshare( $atts, $content = null ) { global $post; $link = get_permalink($post->id); return '<div id="socialwrap...
Read more

c# - String.format() DateTime With Arabic culture -

check below code snippet, namespace testdateconvertion { class program { static void main(string[] args) { datetime testvalue = new datetime(2013, 12, 15, 15, 33, 44); cultureinfo culture = new cultureinfo("ar-sa"); string stringvalue = string.format(culture, "{0:d} {0:hh:mm:ss}", testvalue); console.writeline(stringvalue); console.readline(); } } } it gives output 22/02/35 15:33:44 i not getting how possible. whats 35 doing in output there that's 13/12/2015 in hijri, 35 means 1435 in hijri, default date format saudi arabia.
Read more