Taging:
Go to link
Forcing pull:
$git fetch --all
$git reset --hard origin/[branch]
Creating new branch from master:
$git checkout master
$git branch [new branch name]
Push all branchs and tags:
$git push --all
$git push --tags
martes, 29 de agosto de 2017
Maven: Skip tests
Option 1)
Define in pom.xml a new property and run the maven command
<properties>
<maven . test.skip >true< /maven .test. skip>
</properties>
Option 2)
$ mvn clean install -DskipTests
jueves, 24 de agosto de 2017
Filosofía clean, muy interesante artículo
Lo dicho, espero sea de utilidad:
12 ideas de la filosofía crean que no pueden faltar en tu código
miércoles, 23 de agosto de 2017
Recuperacion arranque dual tras actualización windows 10
Si perdemos el arranque dual boot tras una actualización de Windows 10, perdiendo el acceso a nuestro Debia, hay muchas formas de actuar, pero una de mas las sencillas es:
- Entrar en windows
- Abrir una línea de comandos como administrador: cmd
- Montar la unidad EFI para comprobar donde y como está configurado el arranque efi de debian: mountvol.exe s: /s
- Entrar en la unidad recien montada s (s:) y ver la ruta donde está instalado el fichero grubx64.efi que queremos recuperar, en mi caso: \EFI\debian\grubx64.efi
- Ejecutar el siguiente comando: bcdedit.exe /set {bootmgr} path \EFI\debian\grubx64.efi
- Reiniciar el sistema
Si no hay suerte hay que arrancar con un livecd o equivalente y bien reinstalar grub o entrar en grub mode rescate y corregir el problema. Ambos casos está fuera del alcance de esta nota.
Suerte!
Suscribirse a:
Entradas (Atom)