Viva! Deu certo! Só não na primeira tentativa, porque eu não tinha instalado o dpkg-dev... Depois tive que achar os danados dos arquivos; estavam escondidos em /usr/share/doc/sed! Valeu! Grato.
Paulo Em 16 de junho de 2015 13:04, Paulo Fernandes <pfern...@gmail.com> escreveu: > > O que é a ignorância! > Ótima dica! Vou tentar, depois eu conto... > > Paulo > > > > > > Em 16 de junho de 2015 08:31, Renê Barbosa <renebarbos...@gmail.com> > escreveu: > >> já tentou apt-get source sed? >> >> >> Atenciosamente, >> >> *Renê Barbosa de Figueirêdo Lima* >> Website: http://renebarbosa.com.br >> >> Em 16 de junho de 2015 02:50, Paulo Fernandes <pfern...@gmail.com> >> escreveu: >> >> > ALLguém saberia me dizer onde posso conseguir o Código Fonte do SED >> (Stream >> > Editor)? >> > >> > Gostaria de saber que pressupostos foram utilizados, bem como que >> > estratégias de programação foram adotadas. "Ora, direis, ouvir >> estrelas..." >> > >> > Grato >> > >> > Paulo Fernandes >> > P.Alegre/RS >> > -- >> > Mais sobre o Ubuntu em português: http://www.ubuntu-br.org/comece >> > >> > Lista de discussão Ubuntu Brasil >> > Histórico, descadastramento e outras opções: >> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br >> > >> -- >> Mais sobre o Ubuntu em português: http://www.ubuntu-br.org/comece >> >> Lista de discussão Ubuntu Brasil >> Histórico, descadastramento e outras opções: >> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br >> > > -- Mais sobre o Ubuntu em português: http://www.ubuntu-br.org/comece Lista de discussão Ubuntu Brasil Histórico, descadastramento e outras opções: https://lists.ubuntu.com/mailman/listinfo/ubuntu-br