Sponsored Content
Full Discussion: a small problem
Top Forums Programming a small problem Post 56666 by mbb on Thursday 7th of October 2004 12:01:59 PM
Old 10-07-2004
And now you understand why it is critical to make backups and use source control e.g. RCS, SCCS or CVS in Unix.
 

10 More Discussions You Might Find Interesting

1. Shell Programming and Scripting

small date problem

Hi there I currently use a line in a script ndate=$(date +"%d/%m/%Y") This obviously returns the date in a format i have chosen. However, I need to come up with a solution for weekends and as such need a way of returning todays date minus two days in the same format (24/11/2004) so for... (3 Replies)
Discussion started by: hcclnoodles
3 Replies

2. Shell Programming and Scripting

Small UNIX problem

I have a shell script that carries out an extraction process as follows: For a given input file dummy which looks like the following: a.txt a 1 a 2 xnzbcnzbxcbzxncbmnzxbcmzx 546 456 45 5 6 56 a 3 b.txt b1 b2 (1 Reply)
Discussion started by: nbvcxzdz
1 Replies

3. IP Networking

Small problem...

Nice pictures, really free from virtual swingers club !!!! Anal sex Body art Gay Hardcore Lesbian Oral sex Cum XXX Models Private Image Galleries Private XXX photo Free!!! Say no to Spamers!!! Auto forum spam msg replacer by Swinguru © (1 Reply)
Discussion started by: Green_Monkey23
1 Replies

4. SCO

Small Problem with SCO

Help Please , how to shutdown SCO v. 5.0.5 from client pc ( windows xp or 2000 ) ? i have full access from client and i need to shutdown SCO from windows (2 Replies)
Discussion started by: rabih_saleh
2 Replies

5. UNIX for Dummies Questions & Answers

small problem

Hey everyone! What's the command to check the last time a file was "touched"? Thank you. (2 Replies)
Discussion started by: yosef_yaniv
2 Replies

6. Shell Programming and Scripting

Please help to debug a small shell script (maybe AWK problem)?

Hi Buddies, The following is shell scripts which was borrowed from linux box for load average check. it runs good. (this structure is simple, when load average is too high, it will send alert to user) #!/usr/bin/ksh # Set threshold for 1, 5 and 15 minture load avarage # configured for... (4 Replies)
Discussion started by: GreatJerry
4 Replies

7. UNIX for Dummies Questions & Answers

A small AWK problem

I have a file tmp.out with contents: 2008-08-09 05:11:01 2008-08-09 08:52:59 2008-08-11 12:08:34 2008-08-11 12:15:40 I want the output to be: 3|0|1|71|2008-08-09 05:11:01|2008-08-30 11:19:28 4|0|1|71|2008-08-09 08:52:59|2008-08-30 11:19:28 5|0|1|71|2008-08-11 12:08:34|2008-08-30 11:19:28... (6 Replies)
Discussion started by: ChicagoBlues
6 Replies

8. Shell Programming and Scripting

SED help, small problem

Hi, I have this sed command to grep a date from a filename for a script we have. I am awful with sed so I need help. Sometimes it works fine but other times it does not, see below. works bash-3.00# echo... (1 Reply)
Discussion started by: GermanJulian
1 Replies

9. IP Networking

Small Problem about Default Gateway

I have Ubuntu linux Os with two eth cards. I can easily delete def gatewayg. But I can't add new one.. :confused::confused: When I run route-n: alperen@alperen-System-Product-Name:~$ route -n Kernel IP routing table Destination Gateway Genmask Flags Metric Ref Use... (1 Reply)
Discussion started by: Mhnds
1 Replies

10. Linux

Small problem

hello, i am a newbie and i really need your help i have an centos 6.5 and i wonder if i can create a list with random 4 letters : gdjf ornc tyrn jfdn nofd etc.... if it can be done , i will really apreciate your help ! THANKS !!! ---------- Post updated at 07:16 AM... (10 Replies)
Discussion started by: suppliernr1
10 Replies
DFG2TPTP(1)							       SPASS							       DFG2TPTP(1)

NAME
dfg2tptp - transforms DFG files into TPTP files SYNOPSIS
dfg2tptp <input-file> <output-file> DESCRIPTION
dfg2tptp is a program which converts a problem input file in DFG format into a problem input file in TPTP format. The TPTP problem format is used by the TPTP library of test problems for automated theorem proving, available at http://www.math.miami.edu/~tptp/. Various tools exist to convert problems in TPTP format into input files for other theorem provers. SEE ALSO
checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1) AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach Contact : spass@mpi-inf.mpg.de perl v5.10.0 2010-02-23 DFG2TPTP(1)
All times are GMT -4. The time now is 01:08 AM.
Unix & Linux Forums Content Copyright 1993-2022. All Rights Reserved.
Privacy Policy