Programação

727
Usando @property versus getters e setters

Aqui está uma pergunta de design puro e específica para Python: class MyClass(object): ... def get_my_attr(self): ... def set_my_attr(self, value): ... e class MyClass(object): ... @property def my_attr(self): ... @my_attr.setter def my_attr(self, value): ... Python nos...

727
Onde o Java está instalado no Mac OS X?

Acabei de baixar o Java 7u17 no Mac OS 10.7.5 daqui e depois instalei-o com sucesso. Para fazer alguma programação JNI, preciso saber onde o Java foi instalado no meu Mac. Eu pensei que dentro da /Library/Java/JavaVirtualMachines/pasta, haveria uma pasta chamada 1.7.0.jdkou algo assim, mas depois...

726
É possível escolher um commit de outro repositório git?

Estou trabalhando com um repositório git que precisa de uma confirmação de outro repositório git que não sabe nada sobre o primeiro. Normalmente, eu selecionaria cereja usando o HEAD@{x}no reflog, mas como isso .gitnão conhece nada dessa entrada de reflog (diretório físico diferente), como posso...

724
Como eu comparo strings em Java?

As respostas desta pergunta são um esforço da comunidade . Edite as respostas existentes para melhorar esta postagem. No momento, não está aceitando novas respostas ou interações. Como fazer o upload de arquivos no Stack Overflow no local de armazenamento :...

724
Como alterar o repositório remoto para um submódulo git?

Eu criei um repositório git com um submódulo nele. Sou capaz de dizer ao próprio submódulo para alterar o caminho do repositório remoto, mas não sei como informar ao repositório pai como alterar o caminho do repositório remoto para o submódulo. Eu não ficaria surpreso se eu estivesse um pouco sem...

724
Remova uma confirmação git que não foi enviada por push

Eu fiz um, git commitmas ainda não o enviei para o repositório. Então, quando eu faço git status, recebo '# Seu ramo está à frente de' mestre 'por 1 commit. Portanto, se eu quiser reverter meu commit principal, posso fazer: git reset --hard eb27bf26dd18c5a34e0e82b929e0d74cfcaab316 dado que...

723
Como obtenho uma extensão de arquivo em PHP?

Esta é uma pergunta que você pode ler em qualquer lugar da Web com várias respostas: $ext = end(explode('.', $filename)); $ext = substr(strrchr($filename, '.'), 1); $ext = substr($filename, strrpos($filename, '.') + 1); $ext = preg_replace('/^.*\.([^.]+)$/D', '$1', $filename); $exts =...