05-09-2002
extracting .rar files
Hi,
Can someone throw light on opening a .rar file?
thanks,
sskb
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
Is there a way to open rar files on linux
i would really appretiate if u would help
:) (2 Replies)
Discussion started by: abu_malek
2 Replies
2. UNIX for Dummies Questions & Answers
Hello
I've an old xbox connected to Ubuntu 8.04 with an ethernet cable.
I use gFTP to transfer files on xbox (through FTP).
When I have to transfer a rar file, first of all I have to extract it on ubuntu, then on xbox.
I would like to transfer rar files directly on xbox. Is it possible with... (4 Replies)
Discussion started by: paolobitta
4 Replies
3. Red Hat
May be this is a newbie question but i want to know hoe to open the RAR file in linux? (1 Reply)
Discussion started by: ashok.g
1 Replies
4. Shell Programming and Scripting
Hi,
I have got a large number of .PDF files that are archived in .RAR & ZIP files in various directories and I would like to search for strings inside the PDF files.
I would think you would need something that can recursively read directories, extract the .RAR/.ZIP file in memory, read the... (3 Replies)
Discussion started by: lewk
3 Replies
5. Solaris
Hi All,
Is there way to extract the .rar format files in Solaris
Thanks,
Mani Muthu (3 Replies)
Discussion started by: k_manimuthu
3 Replies
6. Red Hat
Hi All,
Is there way to extract the .rar format files in red hat server.
Thanks,
Mani Muthu (1 Reply)
Discussion started by: k_manimuthu
1 Replies
7. Shell Programming and Scripting
Hi Everyone,
I'm really new to all this so I'm really hoping someone can help. I have a directory with ~1000 lists from which I want to extract lines from and write to new files. For simplicity lets say they are shopping lists and I want to write out the lines corresponding to apples to a new... (2 Replies)
Discussion started by: born2phase
2 Replies
8. Shell Programming and Scripting
Hey,
I have number of .tgz files and want to extract the file with the ending *results.txt from each one.
I have tried
for file in *.tgz; do tar --wildcards -zxf $file *results.txt; doneas well as
list=$(ls *.tgz)
for i in $list; do tar --wildcards -zxvf $i *.results.txt; done... (1 Reply)
Discussion started by: jfern
1 Replies
9. Shell Programming and Scripting
unzip -v gives CRC info of each file in a zip(in my case .EAR) file.
# unzip -v my-application.ear
Archive: my-application.ear
Length Method Size Cmpr Date Time CRC-32 Name
-------- ------ ------- ---- ---------- ----- -------- ----
197981 Defl:N 183708 7%... (1 Reply)
Discussion started by: kchinnam
1 Replies
10. UNIX for Beginners Questions & Answers
hi unix expert
is there any program in linux to compress files or directory with rar (.rar)?
i am using centos 7
many thanks
samad (1 Reply)
Discussion started by: abdossamad2003
1 Replies
LEARN ABOUT DEBIAN
hol-light
HOL-LIGHT(1) General Commands Manual HOL-LIGHT(1)
NAME
hol-light - HOL Light interactive theorem prover
SYNOPSIS
hol-light [options...]
DESCRIPTION
The command hol-light is a simple wrapper for calling ocaml and loading the HOL Light basic definitions (by loading /usr/share/hol-
light/hol.ml instead of .ocamlinit as initialization file). Loading these definitions takes about 2 minutes on modern hardware, please be
patient. All options and other arguments are passed as options to ocaml.
If you have a readline-editor such as rlwrap, ledit or rlfe installed, the hol-light ocaml toplevel is wrapped in readline-editor. Install
just one of these readline editors or configure your preferred one via the alternative system.
SEE ALSO
ocaml(1), readline-editor(1), rlwrap(1), ledit(1), rlfe(1)
HOL Light documentation at http://www.cl.cam.ac.uk/~jrh13/hol-light/
AUTHOR
The hol-light script and this manual page were written by Hendrik Tews <hendrik@askra.de>, specifically for the Debian project (and may be
used by others).
March 16, 2012 HOL-LIGHT(1)