[09:00:09] <Eugene233>	 Is there a simple way to copy files from local to a tools account? Something like `scp`...
[09:01:51] <mutante>	 Eugene233: if you can ssh to it you should also be able to scp to it, as long as you have the SSH config to jump via bastion host, afaict
[09:03:09] <Eugene233>	 mutante: I am sure I can do that. I am just looking for a documentation on that or simply how to do it.
[09:05:10] <mutante>	 Eugene233: do you already have ssh working? if you can "ssh <hostname>" then it should be "scp <local file> <hostname>:~" to copy to your home
[09:05:21] <mutante>	 note the : between host and path
[09:08:44] <Eugene233>	 <hostname> is what I have a doubt on. BTW is it possible to ssh directly into a tool account? 
[09:10:45] <mutante>	 Eugene233: hope this helps https://wikitech.wikimedia.org/wiki/Help:Access_to_Toolforge_instances_with_PuTTY_and_WinSCP
[09:11:57] <mutante>	 even if you dont use Windows, you can see the host names and stuff
[15:03:07] <bd808>	 Signal boosting this contract job with the Scribe project -- https://meta.wikimedia.org/wiki/Scribe/Job
[17:52:27] <arturo-afk>	 thanks for your help mutante !
[19:06:43] <srish_aka_tux>	 Hello folks! It's been ~12 hours since the `wikicontrib` tool was created but the `become toolname` command is still giving "no such tool" error. What could be the issue here? More on Discourse: https://discourse-mediawiki.wmflabs.org/t/toolforge-not-displaying-the-created-tools/1459. 
[19:08:25] <bd808>	 srish_aka_tux: let me take a look. the script that sets up the homedirs has been flakey in the past month or so
[19:09:33] <srish_aka_tux>	 thanks @bd808! 
[19:10:46] <bd808>	 !log tools Restarted maintain-kubeusers after complaint on irc. It was stuck in limbo again
[19:10:48] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools/SAL
[19:11:30] <bd808>	 srish_aka_tux: I think things should start working soon for that tool and a couple of others that were stuck too
[19:12:08] <srish_aka_tux>	 Okay, great!