La programmation

Q & A pour les programmeurs professionnels et passionnés

11
Effacer un écran de terminal pour de vrai
L'utilisation de la clearcommande sur le terminal ne fait que tromper l'utilisateur en pensant que l'écran a été effacé ... vous pouvez toujours voir la sortie des commandes précédentes lorsque vous faites défiler à l'aide de la souris. Cela rend la vie difficile lorsque vous vous noyez dans un tsunami …
3
Copiez le répertoire dans un autre répertoire de Docker à l'aide de la commande ADD
J'ai lu http://docs.docker.com/engine/reference/builder/#add mais j'ai rencontré un problème. Je veux copier le répertoire local gosur Docker/user/local/ J'ai essayé: ADD go /usr/local/ et: ADD /go/ /usr/local/ aussi: RUN chmod 0755 /usr/local/go/src/make.bash Cependant, je vois le message d'erreur suivant /usr/local/go/src/make.bash: No such file or directorymais le gorépertoire local contient make.bash.
382 docker 
21
Comment redémarrer l'activité dans Android
Comment redémarrer un Android Activity? J'ai essayé ce qui suit, mais Activitys'arrête tout simplement. public static void restartActivity(Activity act){ Intent intent=new Intent(); intent.setClass(act, act.getClass()); act.startActivity(intent); act.finish(); }
8
Obtenez le hachage de la version courte Git
Existe-t-il un moyen plus propre d'obtenir le hachage de la version courte HEADde Git? Je veux voir la même sortie que celle que j'obtiens: git log -n 1 | head -n 1 | sed -e 's/^commit //' | head -c 8 J'ai utilisé à l'origine la commande ci-dessus pour générer …
382 git 
16
Fractionner la chaîne tous les n caractères?
На этот вопрос есть ответы на Stack Overflow на рcribedом : Разбить строку по 6 символов Est-il possible de diviser une chaîne tous les n caractères? Par exemple, supposons que j'ai une chaîne contenant les éléments suivants: '1234567890' Comment puis-je le faire ressembler à ceci: ['12','34','56','78','90']
382 python  string  split 
5
Comment comparer deux dates?
Comment pourrais-je comparer deux dates pour voir celle qui est plus tard, en utilisant Python? Par exemple, je veux vérifier si la date actuelle est au-delà de la dernière date de la liste que je crée, des dates de vacances, afin qu'il envoie automatiquement un e-mail, en disant à l'administrateur …
382 python  datetime 
11
Largeur fixe CSS dans une étendue
Dans une liste non ordonnée: <li><span></span> The lazy dog.</li> <li><span>AND</span> The lazy cat.</li> <li><span>OR</span> The active goldfish.</li> L'ajout d'un attribut de classe ou de style est autorisé mais le remplissage du texte et l'ajout ou la modification de balises ne sont pas autorisés. La page s'affiche avec Courier New. Le …
381 html  css 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.