07-19-2011
what do I start learning Unix or Linux then ..?? Just confused.
8 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
I want replace 2.6.15-25-server with 2.6.17 ?
$uname -r
2.6.15-25-server
1) mv /bin/uname /bin/uname.orig
2) put the following in the new /bin/uname:
#!/bin/sh
echo Uname (New Version)
/bin/uname.orig
:confused: (3 Replies)
Discussion started by: pop_black
3 Replies
2. AIX
hi ,
i have made a mistake :( on the production enviourment by change tha host name .
after that i returned back the old name.
but i think this will not afeect the system until reboot the machine.
laso i tried to telnet the syetem by the host name not by the IP address and it works fine.
... (2 Replies)
Discussion started by: habuzahra
2 Replies
3. Linux
what is the difference between
uname -m and uname -i
what it actually means (2 Replies)
Discussion started by: Dileepsp
2 Replies
4. Shell Programming and Scripting
I want use fake uname
anyone can guide? (9 Replies)
Discussion started by: redstaing
9 Replies
5. AIX
hi freinds recently i have change hostname node as using uname -s ******* but next time i saw the name using uname -n the name did t changed is that i have to reboot the system (4 Replies)
Discussion started by: senmak
4 Replies
6. Solaris
hi all,
Operating System Name : Unix Sun Solaris
Operating system release level : 5.10
Operating system version : Generic_137111-06
i know the release level that is kernel version
Generic_137111-06 what is number... (6 Replies)
Discussion started by: coxmanchester
6 Replies
7. UNIX for Advanced & Expert Users
Using the command :
echo $eup_terminal_code | tr -s 'mil vrn qcm' 'mci pql qcm'
it works,but this translation changes depending on the system.
I'd like to define the following variables ,one for each system :
mil22h_from='mil vrn frl'
mil22h_to='mci vci fci'
... (4 Replies)
Discussion started by: Pierluigi.sala
4 Replies
8. Solaris
bssmsrv223:/ 53 ] uname -a
SunOS bssmsrv223 5.10 Generic_118833-36 sun4u sparc SUNW,Sun-Fire-V245
bssmsrv223:/ 54 ]
what does 118833-36 denotes in Generic_118833-36 (2 Replies)
Discussion started by: hiten.r.chauhan
2 Replies
CLASP(1) General Commands Manual CLASP(1)
NAME
clasp - a conflict-driven nogood learning answer set solver
SYNOPSIS
clasp [number][options]
DESCRIPTION
This manual page documents briefly the clasp command.
clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set program-
ming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-
driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp
does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for
answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on LPARSE output format), as a SAT
solver (on simplified DIMACS/CNF format), or as a PB solver (on OPB format).
OPTIONS
These programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). A summary of options is
included below. For a complete description, see <http://www.cs.uni-potsdam.de/clasp/>.
-h, --help
Show summary of options.
-v, --version
Show version of program.
SEE ALSO
gringo(1).
AUTHOR
clasp was written by Benjamin Kaufmann <kaufmann@cs.uni-potsdam.de>.
This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by others).
March 4, 2010 CLASP(1)