Nieuws:

We zijn er weer.

Na lange tijd van afwezigheid zijn we er weer  :laugh:
We hebben alle wachtwoorden gereset, je oude wachtwoord werkt niet meer.Je moet via het "wachtwoord vergeten"-linkje je wachtwoord resetten. Je krijgt hiervoor een mailtje op het adres dat je bij ons geregistreerd hebt.

De komende tijd zijn we nog druk bezig om de rest van de site op te bouwen, dus het kan zijn dat sommige onderdelen (tijdelijk) niet werken.

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

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

Offline bartveurink

  • Lid
  • Steunpunt: Nee
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?

Offline aartje

  • Lid
  • Steunpunt: Nee
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