Programmazione

Domande e risposte per programmatori professionisti ed entusiasti

30
Differenze tra Emacs e Vim
Senza entrare in una discussione religiosa sul perché uno è migliore dell'altro, quali sono le differenze pratiche tra Emacs e Vim? Sto cercando di imparare l'uno o l'altro, ma mi rendo conto che la curva di apprendimento per ciascuno è alta e non riesco a decidere. Non ho mai usato …
686 vim  emacs  editor 









30
Rimozione di spazi bianchi dalle stringhe in Java
Ho una stringa come questa: mysz = "name=john age=13 year=2001"; Voglio rimuovere gli spazi bianchi nella stringa. Ho provato trim()ma questo rimuove solo gli spazi bianchi prima e dopo l'intera stringa. Ho anche provato, replaceAll("\\W", "")ma poi =viene rimosso anche. Come posso ottenere una stringa con: mysz2 = "name=johnage=13year=2001"
684 java  whitespace 

30
Separatore di disegni Android / Linea di divisione nel layout?
Le risposte a questa domanda sono uno sforzo della comunità . Modifica le risposte esistenti per migliorare questo post. Al momento non accetta nuove risposte o interazioni. Vorrei tracciare una linea proprio nel mezzo di un layout e usarlo come separatore di altri elementi come TextView. C'è un buon widget …
684 android  layout  draw 


19
Lo scanner salta nextLine () dopo aver usato next () o nextFoo ()?
Sto usando i Scannermetodi nextInt()e nextLine()per leggere l'input. Sembra così: System.out.println("Enter numerical value"); int option; option = input.nextInt(); // Read numerical value from input System.out.println("Enter 1st string"); String string1 = input.nextLine(); // Read 1st string (this is skipped) System.out.println("Enter 2nd string"); String string2 = input.nextLine(); // Read 2nd string (this …


22
Come stampare una data in un formato normale?
Questo è il mio codice: import datetime today = datetime.date.today() print(today) Questo stampa: 2008-11-22che è esattamente quello che voglio. Ma ho un elenco a cui sto aggiungendo questo e poi all'improvviso tutto diventa "traballante". Ecco il codice: import datetime mylist = [] today = datetime.date.today() mylist.append(today) print(mylist) Ciò stampa quanto …
683 python  datetime  date 

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.