Questions marquées «shell»

19
Comment couper un fichier à une taille donnée sous Linux?

Je veux réduire la taille d'un fichier par force brute, c'est-à-dire que je ne me soucie pas du reste, je veux juste couper le fichier, disons de moitié, et jeter le reste. La première chose qui me vient à l'esprit est le tronqué de Perl . Je suis l'exemple sur cette page et j'ai fait exactement la...

18
Existe-t-il un shell Unix fonctionnel?

Je suis (vraiment) novice en programmation fonctionnelle (en fait, je n'ai eu de contact qu'avec elle en utilisant python), mais semble être une bonne approche pour certaines tâches gourmandes en listes dans un environnement shell. J'adorerais faire quelque chose comme ça: $ [ git clone $host/$repo...

18
Shell SIGKILL Keybinding

Comment puis-je configurer une liaison de touches pour envoyer un SIGKILLau travail de premier plan actuel? Je sais déjà que Ctrl+ Cest SIGINTet Ctrl+ \est SIGQUIT. Je voudrais une option plus sévère. Y a-t-il quelque chose de sérieusement déconseillé à ce

18
Est-il possible d'imprimer l'extension du shell?

Je sais qu'il existe un ensemble spécifique de règles qui développent les commandes tapées par l'utilisateur. (parlons de shell bash.) Est-il possible d'imprimer une commande sous la forme après expansion du shell? Cela semble être un bon utilitaire pour apprendre et s'assurer que le shell...