Login or Register to Ask a Question and Join Our Community

Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

packup(1) [debian man page]

PACKUP(1)							   User Commands							 PACKUP(1)

NAME

       PackUP --  PACKage Upgradability Problem solver

SYNOPSIS

       packup [OPTIONS] input_file_name [output_file_name]

DESCRIPTION

       packup  is  a  solver for the package upgradability problem specified in CUDF [TZ09].  It repeatedly invokes an optimization pseudo-Boolean
       solver in order to solve the problem.  By default minisat+ [ES06] is used for that purpose but a different solver can be used by specifying
       the pertaining command line option.

       If  input_file_name  is '-', input is read from the standard input.  If the output_file_name is omitted, output is produced to the standard
       output.

OPTIONS

       -t     Use trendy  criterion

       -p     Use  paranoid criterion

       -u cs  Use user criterion cs.  A criterion is a lexicographic combination of the utility functions removed, notuptodate,  unmet_recommends,
	      new,  and changed.  Each of them with a polarity ("+" for a function to maximize, "-" for a function to minimize). The functions are
	      listed in decreasing order of priority, and separated by the symbol ",". For instance, the paranoid criterion could  be  written	as
	      -removed,-changed.  For more details see: http://www.mancoosi.org/misc-live/20101126/criteria/

       --external-solver
	      command for the external solver default 'minisat+ -ansi'

       --multiplication-string
	      string between coefficients and variables when communicating to the solver, default '*'

       --temporary-directory DIR
	      directory  where	temporary  files  are created. If this option is not given then the value of $TMPDIR is used if defined, otherwise
	      temporary files are placed in '/tmp'.

       --leave-temporary-files
	      do not delete temporary files

AUTHOR

       Written by Mikolas Janota and Joao Marques Silva

REPORTING BUGS

       Please report any problems with the solver to mikolas@sat.inesc-id.pt

REFERENCES

       [ES06] Niklas Een and Niklas Sorensson. Translating Pseudo-Boolean Constraints into SAT. SAT, 2006

       [TZ09] Ralf Treinen and Stefano Zacchiroli. Common upgradeability description format (CUDF) 2.0.
	      Technical Report 003, MANCOOSI, November 200

COPYRIGHT NOTICE

       (C) 2011 Mikolas Janota

       This file is part of packup.

       packup is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License  as	published  by  the
       Free Software Foundation, either version 3 of the License, or (at your option) any later version.

       packup is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
       FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more details.

       You should have received a copy of the GNU General Public License along with packup.  If not, see <http://www.gnu.org/licenses/>.

								     May 2011								 PACKUP(1)

Check Out this Related Man Page

RDIFF-BACKUP-FS(1)					      General Commands Manual						RDIFF-BACKUP-FS(1)

NAME

       rdiff-backup-fs - Filesystem for accessing rdiff-backup archives.

SYNOPSIS

       rdiff-backup-fs <mount_point> <repository> [repositories ...] [-option ...]

DESCRIPTION

       rdiff-backup-fs is a filesystem in userspace that reads rdiff-backup archives and provides convenient access.

OPTIONS

       --debug <0-4>
	      Run rdiff-backup-fs in foreground with given verbosity of debug messages.

       -f, --full
	      Store information about all revisions in memory. CAUTION: this may take a lot of memory if your archive contains many revisions.

       -l, --last
	      Displays	files from the most recent increment as directories, each holding every version of the file. CAUTION: this stores informa-
	      tion about all revisions in memory and therefore may take a lot of memory if archive contains many revisions.

       -c <n>, --caching <n>
	      How many files retrieved from the rdiff-backup archive may be cached by filesystem. By default rdiff-backup-fs will cache up  to	10
	      files. If this switch is set to 0, no caching will be done.

       -r <n>, --revisions <n>
	      How many revisions should be stored in memory for on demand revision retrieval. By default rdiff-backup-fs will store up to 10 revi-
	      sions in memory.

       -d, --directory <path>
	      Set directory for directory with temporary files. By default rdiff-backup-fs uses /tmp.

       -v, --version
	      Print version of rdiff-backup-fs and exit.

SEE ALSO

       rdiff-backup(1)

COPYRIGHT

       rdiff-backup-fs is Copyright (c) 2007-2011 Filip Gruszczyski.

       rdiff-backup-fs is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License  as  published
       by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

       This  program  is  distributed  in  the	hope  that  it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER-
       CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more details.

       You should have received a copy of the GNU General Public License along with this program.  If not, see <http://www.gnu.org/licenses/>.

AUTHORS

       Filip Gruszczyski <gruszczy@gmail.com>

																RDIFF-BACKUP-FS(1)
Man Page