[08:28:10] does source ~/.bash_profile not work in toolforge? [08:35:32] !help [08:35:32] qedk: If you don't get a response in 15-30 minutes, please create a phabricator task -- https://phabricator.wikimedia.org/maniphest/task/edit/form/1/?projects=wmcs-team [16:20:06] I've noticed that the editor alias stuff doesn't seem to work, not sure about other settings [16:44:14] `source .bash_profile` should work, but if you have a .profile or are using another shell than bash, things can be odd. [16:44:33] Dunno what is needed for editor alias that isn't working. I'd need more details [16:45:07] Like the EDITOR variable? [16:54:53] just been using nano, directly, and removed the settings from my profile files after it didn't work, didn't bother messing around with it after that [17:14:22] !log tools.stewardbots Shutting down webservice to upgrade it [17:14:24] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL [17:17:05] !log tools.stewardbots Webservice updated to kubernetes backend running on php7.2 now [17:17:06] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL [22:52:57] !log tool.totoazero qdeled job 2929463 maj_articles_recents stuck for one month [22:52:58] Framawiki: Unknown project "tool.totoazero" [22:53:07] !log tools.totoazero qdeled job 2929463 maj_articles_recents stuck for one month [22:53:09] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.totoazero/SAL