search

digital-guard / preserv

Digital Preservation Project
http://git.digital-guard.org/preserv
Apache License 2.0
0 stars 0 forks source link

Simplificar o make, falha na obrigatoriedade de pushd #128

Closed ppKrauss closed 1 year ago

ppKrauss commented 1 year ago

Os comandos pushd $path e popd podem ser usados internamente no makefile, mas jamais ser usados como parâmetro obrigatório do usuário... O make precisa ser amigo, não complicar a vida do usuário.

Ver exemplo de bug (não pode obrigar pushd) em https://github.com/digital-guard/preserv-CO/issues/16#issuecomment-1433389611

0e1 commented 1 year ago

Os comandos pushd $path e popd podem ser usados internamente no makefile, mas jamais ser usados como parâmetro obrigatório do usuário... O make precisa ser amigo, não complicar a vida do usuário.

Não vou mais mencionar os comandos pushd e popd em respostas. Afinal, não são obrigatórios e não precisam estar no make. Intensão era facilitar para o interlocutor, que poderia copiar e colar os comandos em qualquer terminal.

Criar outra issue se o path de um pacote de dados deve ser um parâmetro opcional do make. Funcionalidade que não existe atualmente.

Ver exemplo de bug (não pode obrigar pushd) em digital-guard/preserv-CO#16 (comment)

Retifiquei. Ver: https://github.com/digital-guard/preserv-CO/issues/16#issuecomment-1446626733

ppKrauss commented 1 year ago

facilitar para o interlocutor

Na documentação e no diálogo de Suporte, basta usar o comando cd universal posicionando na pasta padrão, /var/gits.