01-15-2011
Difficult search and replace
Hi, for my wiki I need 1 more complicated way to solve a problem.
I have 1400 pages of court cases that are linked throughout the site. The problem is that the title of the pages are
name v name (1988)
and the links should therefor be [[name v name (1988)]]
But, something went wrong and loads of links look like this
[[name vname (1988)]]
So I need a search and replace to do change it back to normal. The issue I can see is that if we simply replace all " v[a-z]" " v [a-z]" that it will also change "victor" into " v ictor"
So can someone please come up with a search and replace solution for this??
---------- Post updated 15-01-11 at 12:28 AM ---------- Previous update was 14-01-11 at 10:41 PM ----------
so I guess something like (sorry I cannot write the expressions)
if " v victor" dont do anything if " victor" change to " v ictor"
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi All,
Wish you a Happy New year...
I have to find the difference between two dates, the result should be the number of days. I have seen the "datecalc" function. Its good, can I have any other alternative.
Thanks in Advance
Raju (4 Replies)
Discussion started by: rajus19
4 Replies
2. Shell Programming and Scripting
Hello friends,
I am looking for a script or method that can display all the dates between any 2 given dates.
Input:
Date 1
290109
Date 2
010209
Output:
300109
310109
Please help me. Thanks. :):confused: (2 Replies)
Discussion started by: frozensmilz
2 Replies
3. Programming
Hello,
I am working on a program in C and need to read, write and manage Dates (YYY-MM-DD HH:MM). I have made my own version of a structure to store the date data and something else. Do you recommend me to use the time.h library? In such case, is it worthwhile to have an structure containing... (1 Reply)
Discussion started by: Ister
1 Replies
4. Programming
Don't know if it is important: Debian Linux / MySQL 5.1
I have a table:
media_id int(8)
group_id int(8)
type_id int(8)
expiration date
start date
cust_id int(8)
num_runs int(8)
preferred_time int(8)
edit_date timestamp ON UPDATE CURRENT_TIMESTAMP
id... (0 Replies)
Discussion started by: vertical98
0 Replies
5. UNIX for Dummies Questions & Answers
Hi All,
I am trying to print the dates that falls between 2 date variables into a file. Here is the example.
$BUS_DATE =20120616
$SUB_DATE=20120613
Output to file abc.txt should be : 20120613,20120614,120120615,20120616
Can you pls help me accomplish this in LINUX.
Thanks... (5 Replies)
Discussion started by: dsfreddie
5 Replies
6. Shell Programming and Scripting
HI,
i have row like this
HHH100037440313438961000201001012012073110220002 N
in this i have 2 dates in pos 25-32 and 33-40 , so based upon the se two dates , i need to generated records between these two values
so in the above record 20100101 and 20120731
need to genearte rows like this... (4 Replies)
Discussion started by: sathishsr
4 Replies
7. UNIX for Advanced & Expert Users
Hi Am Using Unix Ksh ...
I have a Table called date
select * from date ;
Date
01/02/2013
06/02/2013
I need the output as
Missing Date
01/02/2013
02/02/2013
03/02/2013
04/02/2013
05/02/2013
06/02/2013 (2 Replies)
Discussion started by: Venkatesh1
2 Replies
8. Shell Programming and Scripting
HI,
to my shell script i pass two parameters date1 and date2
is there any way to get all dates betwen these two dates?
if i pass 20130714 and 20130717 i need to get below dates
20130715
20130716
is it possible.
thanks (3 Replies)
Discussion started by: ulab
3 Replies
9. Shell Programming and Scripting
Hello Gurus,
I'm beginner in Shell scripting.
I got a requirement to write a script.
I have a file with below (similar) content
If you can observe above content, there are many date values existed (with different dates) in a format: ddMonyyyy
I have to write replace all these... (7 Replies)
Discussion started by: raghu.iv85
7 Replies
10. Shell Programming and Scripting
Hi All,
I have 2 dates in mm/dd format.
sdate=10/01 (October 01)
edate=10/10 (October 10)
I need the dates in between these 2 dates like below.
10/01
10/02
10/03
10/04
10/05
10/06
10/07
10/08 (1 Reply)
Discussion started by: jayadanabalan
1 Replies
LEARN ABOUT DEBIAN
victor
victor(1) victor(1)
NAME
victor - attempts to discharge verification conditions using SMT solvers
SYNOPSIS
victor [UNIT]
DESCRIPTION
The victor command is a wrapper around ViCToR (vct) which simplifies its use. ViCToR translates SPARK verification conditions into SMTlib
and feeds them to an SMT solver. SPARK ships with one such SMT solver, alt-ergo, but it is possible to use others solvers such as cvc3.
The intended use of victor is to discharge true VCs left over by the Simplifier and not replace the Simplifier. Please also note that ViC-
ToR is considered to be an experimental feature at the moment.
This manual page only summarises the victor command-line flags, please refer to the full VictorWrapper manual for further information.
OPTIONS
These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.
-h, -help
Shows command-line help.
-t=SECONDS
Time-out the SMT solver after this many seconds (by default 5) using ulimit. To disable time-out specify 0.
-m=MEGABYTES
Limit the SMT solver to this many MiB of virtual memory (by default no limit) using ulimit.
-v Ignore the presence of any siv files and process vcg files only. By default, given a UNIT such as foo, victor will first attempt to
process foo.siv and then fall back to foo.vcg.
-plain Plain mode -- supress timings and versions.
-solver=SOLVER
Specifies an alternative SMT solver. By default we use alt-ergo. Can be one of alt-ergo, cvc3, yices or z3. The alt-ergo solver is
distributed with SPARK. The cvc3 solver is part of Debian. The yices and z3 solvers are proprietary.
SEE ALSO
spark(1), sparksimp(1), spadesimp(1), zombiescope(1), pogs(1)
sparkformat(1), sparkmake(1)
cvc3(1)
AUTHOR
This manual page was written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but may be used by
others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Ver-
sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
Texts.
22 March 2011 victor(1)