검색어: dump file (영어 - 스페인어)

dump file
volcado de memoria

dump
dump

dump:
distinto:

core dump
volcado de memoria

mine-dump
escombrera de mina

dump truck
autovolquete

truck, dump
camiones volquete

& force dump
& forzar volcado

dump sky image to file
volcar una imagen del cielo a un archivo

forth word to dump the content of a file.
palabra de forth para examinar el contenido de un fichero.

an example of a file dump :
un ejemplo de análisis de archivo :

for one thing, there is no previous revision in the dump file!
para empezar, ¡es que no hay revisión anterior alguna en el fichero de volcado!

used by dump (8) to determine which file systems require dumping.
dump (8) la usa para determinar qué sistema de ficheros requieren volcado.

these disk locations are then used to write the dump file should it need to be written.
estas ubicaciones de disco se emplean posteriormente para escribir el archivo de volcado en el caso de que sea preciso grabarlo.

sets the directory in which apd writes profile dump files.
establece el directorio en el cual apd escribe la salida del análisis de los archivos.

it can play broken midi files which make other players core dump!
es capaz de reproducir archivos midi dañados que no funcionan en otros reproductores

another neat trick you can perform with this --incremental option involves appending to an existing dump file a new range of dumped revisions.
otro truco interesante que puede realizar con la opción --incremental consiste en añadir a un fichero de volcado existente un nuevo rango de revisiones volcadas.

important : remove bigdump.php and your dump files from your server.
importante: elimine los archivos bigdump.php y los archivos dump de su servidor.

it can play broken & midi; files which make other players core dump.
puede reproducir archivos & midi; que hacen fracasar a otros reproductores.

⑥ the data wiper software support temporary files, log files, memory dump files and old data files.
• los ficheros temporales de los datos de la ayuda segura del limpiador, los ficheros de diario, los archivos de la descarga de memoria y viejos ficheros de datos.