Nieuws:

Ubuntu-NL weer online!

Na een periode van technische problemen en een overbelaste server zijn we eindelijk weer bereikbaar.
Samen met Hobbynet, onze sponsor en hostingpartner, hebben we een oplossing gevonden zodat alles weer soepel draait.

Bedankt voor jullie geduld en begrip. We hopen nu weer verder te gaan waar we gebleven waren.

Het team van Ubuntu-NL

Welkom, Gast. Alsjeblieft inloggen of registreren.
Heb je de activerings-mail niet ontvangen?

Pagina's: [1]   Omlaag

Auteur Topic: Gebruik van History. Kan de pwd van de historylijst erbij worden weergeven?  (gelezen 600 keer)

Offline bart85

  • Lid
Gebruik van History. Kan de pwd van de historylijst erbij worden weergeven?
« Gepost op: 2016/05/09, 13:28:02 »
Bij het gebruik van history wil ik ook in beeld krijgen vanuit welke directory een commando is uitgevoerd. Het gaat vooral om het commando make. Van belang is: "Vanuit welke directory is het uitgevoerd?"
Kan bij ieder commando deze directory worden weergeven?
Meld dit bericht aan de moderator   Gelogd
Je leert maar mooi over weg gaan met de commandline.
Linus: "I'm happy with the people who are wandering around looking at the stars but I am looking at the ground and I want to fix the pothole before I fall in."
I look to the clouds behind me and see the thunder coming.

Offline aartje

  • Lid
Re: Gebruik van History. Kan de pwd van de historylijst erbij worden weergeven?
« Reactie #1 Gepost op: 2016/05/09, 14:58:47 »
Je zou in je homedirectory een bestand kunnen maken genaamd  .bashrc (let op de punt!)
met als inhoud:
export PROMPT_COMMAND='hpwd=$(history 1); hpwd="${hpwd# *[0-9]*  }"; if [[ ${hpwd%% *} == "cd" ]]; then cwd=$OLDPWD; else cwd=$PWD; fi; hpwd="${hpwd% ### *} ### $cwd"; history -s "$hpwd"'

Zie:  http://stackoverflow.com/questions/945288/saving-current-directory-to-bash-history
Meld dit bericht aan de moderator   Gelogd
Pagina's: [1]   Omhoog